Submitted by
Yuhang Zhou
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
Submitted by
N
Submitted by
Feiyan Zhou
Submitted by
Ruizhong Qiu
Submitted by
taesiri
Submitted by
taesiri
Submitted by
taesiri
Submitted by
taesiri
Submitted by
Lisa Alazraki
Submitted by
taesiri
Submitted by
Lin G
Submitted by
taesiri
Submitted by
taesiri
Submitted by
Gang Liao
Submitted by
taesiri
Submitted by
taesiri
Submitted by
Jason Weston
Submitted by
taesiri
Submitted by
Yunkai Zhang
Submitted by
taesiri
Submitted by
taesiri
Submitted by
Chenyu Wang
Submitted by
taesiri
Submitted by
Mufei Li