Mathesis: Towards Formal Theorem Proving from Natural Languages

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Xuejun, Yu, Zhong, Jianyuan, Feng, Zijin, Zhai, Pengyi, Yousefzadeh, Roozbeh, Ng, Wei Chong, Liu, Haoxiong, Shou, Ziyi, Xiong, Jing, Zhou, Yudong, Ong, Claudia Beth, Sugiarto, Austen Jeremy, Zhang, Yaoxi, Tai, Wai Ming, Cao, Huan, Lu, Dongcai, Sun, Jiacheng, Xu, Qiang, Xin, Shen, Li, Zhenguo
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Internet

https://arxiv.org/abs/2506.07047