Kimina Prover
Collection
State-of-the-Art Models for Formal Mathematical Reasoning https://huggingface.co/blog/AI-MO/kimina-prover
•
8 items
•
Updated
•
9
NWMonster
nwmonster
AI & ML interests
None yet
Recent Activity
liked
a model
19 days ago
zai-org/GLM-4.7
liked
a dataset
4 months ago
LLM4Rocq/miniF2F-rocq
liked
a model
4 months ago
internlm/internlm2-step-prover
Organizations
None yet
upvoted
a
collection
4 months ago