Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarsity
Paper • 2502.11901 • Published • 6 •
2
Dylan PRO
shizhuo2
AI & ML interests
None yet
Recent Activity
upvoted a paper 5 days ago
Selecting Diverse SFT Traces Improves Post-RL Generalization submitted a paper 5 days ago
Selecting Diverse SFT Traces Improves Post-RL Generalization upvoted a paper 5 days ago
Learning from Teacher Continuations at Student StatesOrganizations
commented a
paper over 1 year ago
commented a
paper almost 2 years ago