Zenan Li
~Zenan_Li3
7
论文总数
3.5
年均投稿
平均评分
接收情况6/7
会议分布
NeurIPS
4
ICLR
2
COLM
1
发表论文 (7 篇)
20254 篇
4
Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
ICLR 2025Poster
4
A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning
NeurIPS 2025Poster
3
Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models
NeurIPS 2025Poster
4
Towards Efficient Confidence Estimation for Large Language Model Reasoning
ICLR 2025withdrawn