Yizhen Jia

~Yizhen_Jia3

1

论文总数

1.0

年均投稿

4.8

平均评分

接收情况1/1

会议分布

ICML

1

发表论文 (1 篇)

20251 篇

MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving

ICML 2025Poster

合作者 (8)

Jipeng Zhang1 篇

Ruida WANG1 篇

Shizhe Diao1 篇

Tong Zhang1 篇