firstbacksecondback
2 Results
|
Workshop
|
Lean-STaR: Learning to Interleave Thinking and Proving Haohan Lin · Zhiqing Sun · Sean Welleck · Yiming Yang |
||
|
Workshop
|
RAR-Agent: Retrieval Augmented Reflection Learning from Scratch for Reasoning Shipeng Xie · Haichao Zhu · Da Chen |