metaresearch/PapersRAG-1.5B
Text Generation • 2B • Updated • 652 • • 2
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