AI & ML interests
None defined yet.
Recent Activity
View all activity
Papers
OmniOPD: Logit-Free On-Policy Distillation via Speculative Verification
Distilling LLM Feedback for Lean Theorem Proving
metaresearch 's datasets
None public yet