Igor Rivin PRO
igriv
AI & ML interests
machine learning, finance, mathematics, geometry
Recent Activity
updated a collection 26 days ago
Speechtotext updated a dataset 4 months ago
igriv/dire-arxiv-bge-small-embeddings published a dataset 4 months ago
igriv/dire-arxiv-bge-small-embeddingsOrganizations
spaces 5
Sleeping
Agents
Aristotle_Theorem_Prover
🚀
Generate Lean4 proofs from plain English math statements
Sleeping
Agents
Trackio
🚀
Show tracking information
Running on CPU Upgrade
Ideal Polyhedron Volume Toolkit
🔺
Compute and optimize ideal polyhedron volumes
Sleeping
Agents
Math Question Validator
🧮
Validate math equations with ease
Sleeping
Agents
Crypto Index Tracker
📈