Kimina Prover
Collection
State-of-the-Art Models for Formal Mathematical Reasoning https://huggingface.co/blog/AI-MO/kimina-prover • 8 items • Updated • 12
Yukhanov
useitone
·
AI & ML interests
None yet
Recent Activity
updated a collection 18 days ago
Interesting AI models upvoted a collection 19 days ago
Kimina Prover updated a collection about 2 months ago
Interesting AI modelsOrganizations
upvoted a collection 19 days ago