Liu Chengwu

~Liu_Chengwu1

1

论文总数

1.0

年均投稿

4.8

平均评分

接收情况0/1

会议分布

ICLR

1

发表论文 (1 篇)

20251 篇

Process-Driven Autoformalization in Lean 4

ICLR 2025Rejected

合作者 (12)

Haiming Wang1 篇

Jianhao Shen1 篇

Jianqiao Lu1 篇

Jing Xiong1 篇

Jipeng Zhang1 篇

Yingjia Wan1 篇