Mathesis: Towards Formal Theorem Proving from Natural Languages

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	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
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2506.07047