Process-Driven Autoformalization in Lean 4.Jianqiao Lu,Yingjia Wan,Zhengying Liu,Yinya Huang, Jing Xiong, Chengwu Liu,Jianhao Shen, Hui Jin, Jipeng Zhang,Haiming Wang,Zhicheng Yang,Jing Tang,Zhijiang GuoCoRR（2024）引用 0|浏览40AI 理解论文溯源树样例生成溯源树，研究论文发展脉络Chat Paper正在生成论文摘要
