QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
📝
21
Who needs 1T parameters? Olympiad proofs with a 4B model
Amrith Setlur
ars22
AI & ML interests
None yet
Recent Activity
liked
a Space
1 day ago
lm-provers/qed-nano-blogpost
updated
a Space
1 day ago
lm-provers/qed-nano-blogpost
liked
a model
4 days ago
lm-provers/QED-Nano
Organizations
liked
a
Space
1 day ago
liked
a
model
4 days ago
liked
a
dataset
almost 2 years ago