Igor Rivin PRO

igriv

machine learning, finance, mathematics, geometry

updated a Space 17 days ago

published a Space 17 days ago

updated a model 3 months ago

igriv 's Spaces 5

Generate Lean4 proofs from plain English math statements

Show tracking information

Compute and optimize ideal polyhedron volumes

Validate math equations with ease