Copertina

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Chen, Luoxin, Gu, Jinming, Huang, Liankai, Huang, Wenhao, Jiang, Zhicheng, Jie, Allan, Jin, Xiaoran, Jin, Xing, Li, Chenggang, Ma, Kaijing, Ren, Cheng, Shen, Jiawei, Shi, Wenlei, Sun, Tong, Sun, He, Wang, Jiahui, Wang, Siran, Wang, Zhihong, Wei, Chenrui, Wei, Shufa, Wu, Yonghui, Wu, Yuchen, Xia, Yihang, Xin, Huajian, Yang, Fan, Ying, Huaiyuan, Yuan, Hongyi, Yuan, Zheng, Zhan, Tianyang, Zhang, Chi, Zhang, Yue, Zhang, Ge, Zhao, Tianyun, Zhao, Jianqiu, Zhou, Yichi, Zhu, Thomas Hanwen
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence Computation and Language
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Lascia un commento!