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