QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
📝
40
Who needs 1T parameters? Olympiad proofs with a 4B model
Pramodith Ballapuram
Pramodith
AI & ML interests
NLP
Recent Activity
liked
a Space
2 days ago
lm-provers/qed-nano-blogpost
updated
a Space
2 months ago
Pramodith/trackio
published
a Space
2 months ago
Pramodith/trackio
Organizations
liked
a
Space
2 days ago
liked
a
Space
5 months ago