firstbacksecondback
4 Results
|
Workshop
|
Lean-STaR: Learning to Interleave Thinking and Proving Haohan Lin · Zhiqing Sun · Sean Welleck · Yiming Yang |
||
|
Poster
|
Fri 16:30 |
Lean Workbook: A large-scale Lean problem set formalized from natural language math problems Huaiyuan Ying · Zijian Wu · Yihan Geng · JIayu Wang · Dahua Lin · Kai Chen |
|
|
Poster
|
UniFL: Improve Latent Diffusion Model via Unified Feedback Learning Jiacheng Zhang · Jie Wu · Yuxi Ren · Xin Xia · Huafeng Kuang · Pan Xie · Jiashi Li · Xuefeng Xiao · Weilin Huang · Shilei Wen · Lean Fu · Guanbin Li |
||
|
Workshop
|
ABEL: Sample Efficient Online Reinforcement Learning for Neural Theorem Proving Fabian Gloeckle · Jannis Limperg · Gabriel Synnaeve · Amaury Hayat |