Hugging Face's logo
AI-MO 's Collections
Informal-Math
Kimina Prover Preview
AIMO Progress Prize
NuminaMath

Kimina Prover Preview

State-of-the-Art Models for Formal Mathematical Reasoning

Upvote
29