Igor Rivin's picture

Igor Rivin PRO

igriv

·

AI & ML interests

machine learning, finance, mathematics, geometry

Recent Activity

updated a Space 16 days ago

igriv/aristotle-prover

published a Space 16 days ago

igriv/aristotle-prover

updated a model 3 months ago

igriv/qwen3-32b-codeforces-merged

View all activity

Organizations

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

models 5

igriv/qwen3-32b-codeforces-merged

33B • Updated Dec 13, 2025

igriv/qwen3-32b-codeforces-cots

Updated Dec 13, 2025

igriv/qwen3-0.6b-codeforces-cots

Updated Dec 13, 2025

igriv/Qwen3-32B-heretic

Text Generation • 33B • Updated Dec 12, 2025 • 18

igriv/ppo-LunarLander-v2

Reinforcement Learning • Updated Dec 21, 2024 • 1

datasets 0

None public yet