Learning to Reason with Insight for Informal Theorem Proving

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Li, Yunhe, Shi, Hao, Deng, Bowen, Wang, Wei, Ruan, Mengzhe, Hou, Hanxu, Dai, Zhongxiang, Gao, Siyang, Wang, Chao, Qiu, Shuang, Song, Linqi
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence Computation and Language Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2604.16278