QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
📝
68
Who needs 1T parameters? Olympiad proofs with a 4B model
Justin Wang
Justin6657
AI & ML interests
None yet
Recent Activity
liked a Space about 1 month ago
lm-provers/qed-nano-blogpost upvoted a paper about 2 months ago
Good SFT Optimizes for SFT, Better SFT Prepares for Reinforcement Learning updated a model 9 months ago
Justin6657/PoPilotOrganizations
liked a
Space about 1 month ago
upvoted a paper about 2 months ago
updated a
model 9 months ago
published a
model 9 months ago
updated a
dataset 9 months ago
published a
dataset 9 months ago
updated a
model 11 months ago
published 2
models 11 months ago
updated a
model 11 months ago
updated a
dataset about 1 year ago
published a
dataset about 1 year ago
updated a
dataset about 1 year ago
published a
dataset about 1 year ago
updated a
dataset about 1 year ago
updated a
model about 1 year ago
published a
model about 1 year ago
updated 2
datasets about 1 year ago