Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
Igor Rivin's picture

Igor Rivin PRO

igriv
ยท
  • igriv
  • igorrivin

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

Hugging Face MCP Course's profile picture

spaces 5

Running

Aristotle_Theorem_Prover

๐Ÿš€

Generate Lean4 proofs from plain English math statements

16 days ago
Sleeping

Trackio

๐Ÿš€

Show tracking information

Dec 13, 2025
Running on CPU Upgrade

Ideal Polyhedron Volume Toolkit

๐Ÿ”บ

Compute and optimize ideal polyhedron volumes

Dec 9, 2025
Sleeping

Math Question Validator

๐Ÿงฎ

Validate math equations with ease

Aug 10, 2025
Sleeping

Crypto Index Tracker

๐Ÿ“ˆ

Aug 2, 2025

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
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs