Learning to Reason with Insight for Informal Theorem Proving 文章

ArXiv CS.CL2026-06-01NEWSen作者: Yunhe Li, Hao Shi, Bowen Deng, Wei Wang, Mengzhe Ruan, Hanxu Hou, Zhongxiang Dai, Siyang Gao, Chao Wang, Shuang Qiu, Linqi Song
查看原文 →
关系图谱

Learning to Reason with Insight for Informal Theorem Proving · 相关技术

相关技术

large language models