Igor Rivin PRO

igriv

machine learning, finance, mathematics, geometry

updated a dataset 8 days ago

published a dataset 9 days ago

liked a model 23 days 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