QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
📝
69
Who needs 1T parameters? Olympiad proofs with a 4B model
Przemek Chojecki
przemekch
AI & ML interests
None yet
Recent Activity
liked a Space 26 days ago
lm-provers/qed-nano-blogpost new activity 26 days ago
lm-provers/QED-Nano:Formal proofs updated a dataset about 2 months ago
ulamai/UnsolvedMathOrganizations
liked a
Space 26 days ago
Formal proofs
👍 1
3
#2 opened about 1 month ago
by 
catalin-hanga
updated a
dataset about 2 months ago
liked a
dataset 2 months ago
published a
dataset 2 months ago