Zhicheng Yang

~Zhicheng_Yang4

2

论文总数

2.0

年均投稿

5.7

平均评分

接收情况1/2

会议分布

ICLR

2

发表论文 (2 篇)

20252 篇

OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling

ICLR 2025Poster

Process-Driven Autoformalization in Lean 4

ICLR 2025Rejected

合作者 (18)

Yinya Huang2 篇

Zhijiang Guo2 篇

Liang Feng1 篇

Linqi Song1 篇

Xiaodan Liang1 篇

Xiongwei Han1 篇