Igor Rivin PRO
igriv
·
AI & ML interests
machine learning, finance, mathematics, geometry
Recent Activity
updated
a Space 17 days ago
igriv/aristotle-prover published
a Space 17 days ago
igriv/aristotle-prover updated
a model 3 months ago
igriv/qwen3-32b-codeforces-merged Organizations
