QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
📝
81
Who needs 1T parameters? Olympiad proofs with a 4B model
Amrith Setlur
ars22
AI & ML interests
None yet
Recent Activity
updated a dataset about 1 month ago
ars22/fictional_squad_inner_qa published a dataset about 1 month ago
ars22/fictional_squad_inner_qa published a dataset 4 months ago
lm-provers/FineProofs-RL-testOrganizations
liked a
Space 5 months ago
liked a
model 5 months ago
liked a
dataset over 2 years ago