Igor Rivin PRO

igriv

1

·

AI & ML interests

machine learning, finance, mathematics, geometry

Recent Activity

updated a collection 26 days ago

updated a dataset 4 months ago

igriv/dire-arxiv-bge-small-embeddings

published a dataset 4 months ago

igriv/dire-arxiv-bge-small-embeddings

View all activity

Organizations

igriv 's Spaces 5

Aristotle_Theorem_Prover

Generate Lean4 proofs from plain English math statements

Trackio

Show tracking information

Ideal Polyhedron Volume Toolkit

Compute and optimize ideal polyhedron volumes

Math Question Validator

Validate math equations with ease

Crypto Index Tracker