Xueliang Zhao

~Xueliang_Zhao1

5

论文总数

2.5

年均投稿

5.7

平均评分

接收情况2/5

会议分布

ICLR

4

NeurIPS

1

发表论文 (5 篇)

20253 篇

DynaAct: Large Language Model Reasoning with Dynamic Action Spaces

NeurIPS 2025Poster

SubgoalXL: Subgoal-based Expert Learning for Theorem Proving

ICLR 2025withdrawn

Forewarned is Forearmed: Harnessing LLMs for Data Synthesis via Failure-induced Exploration

ICLR 2025Poster

20242 篇

Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving

ICLR 2024Rejected

SEGO: Sequential Subgoal Optimization for Mathematical Problem-Solving

ICLR 2024withdrawn

合作者 (17)

Lingpeng Kong5 篇

Qintong Li2 篇

Changran Hu1 篇

Urmish Thakker1 篇

Xinting Huang1 篇