QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
📝
56
Who needs 1T parameters? Olympiad proofs with a 4B model
Justin Wang
Justin6657
AI & ML interests
None yet
Recent Activity
liked
a Space 11 days ago
lm-provers/qed-nano-blogpost upvoted a paper 26 days ago
Good SFT Optimizes for SFT, Better SFT Prepares for Reinforcement Learning updated
a model 9 months ago
Justin6657/PoPilot Organizations
liked a Space 11 days ago
upvoted a paper 26 days 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 10 months ago
published 2 models 10 months ago
updated a model 10 months ago
updated a dataset 12 months ago
published a dataset 12 months ago
updated a dataset 12 months ago
published a dataset 12 months 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