notesum.ai
Published at November 7Kwai-STaR: Transform LLMs into State-Transition Reasoners
cs.CL
cs.AI
Released Date: November 7, 2024
Authors: Xingyu Lu1, Yuhang Hu2, Changyi Liu2, Tianke Zhang2, Zhenyu Yang2, Zhixiang Ding3, Shengsheng Qian3, Meng Du2, Ruiwen Kang2, Kaiyu Tang2, Fan Yang2, Tingting Gao2, Di Zhang2, Hai-Tao Zheng1, Bin Wen2
Aff.: 1Shenzhen International Graduate School, Tsinghua University; 2Kuaishou Technology; 3Institute of Automation, Chinese Academy of Sciences

| Action | Definition |
|---|---|
| Formalize | Formalize the question mathematically |
| Decompose | Divide the original question. |
| Solve Subques | Provide solution for one subquestion. |
| Solve Parent | Solve the original question. |
| Verify | Check the correctness of current state. |
| Backtrack | Backtrack to the last correct state. |
| Summarize | State the final answer. |