Igor Rivin PRO
igriv
AI & ML interests
machine learning, finance, mathematics, geometry
Organizations
spaces 5
Running
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
📈