Aristotle_Theorem_Prover
🚀
Generate Lean4 proofs from plain English math statements
Igor Rivin PRO
igriv
·
AI & ML interests
machine learning, finance, mathematics, geometry
Recent Activity
updated
a Space 17 days ago
igriv/aristotle-prover published
a Space 17 days ago
igriv/aristotle-prover updated
a model 3 months ago
igriv/qwen3-32b-codeforces-merged Organizations
updated a Space 17 days ago
published a Space 17 days ago
updated a model 3 months ago
published a model 3 months ago
updated 2 models 3 months ago
updated a Space 3 months ago
published a Space 3 months ago
published 2 models 3 months ago
updated a model 3 months ago
published a model 3 months ago
updated a Space 3 months ago
published a Space 3 months ago
updated a Space 7 months ago
published a Space 7 months ago
updated a Space 7 months ago
published a Space 7 months ago
updated a model about 1 year ago