Ye Yuan

Ye Yuan

Peking University - Beijing / China
Engineering & Technology / Computer Science
AD Scientific Index ID: 5284770
北京大学
person_outline Ye Yuan's MOST POPULAR ARTICLES
1-) Dt-solver: Automated theorem proving with dynamic-tree sampling guided by proof-level value functionH Wang, Y Yuan, Z Liu, J Shen, Y Yin, J Xiong, E Xie, H Shi, Y Li, L Li, ...Proceedings of the 61st Annual Meeting of the Association for Computational …, 2023142023
2-) Fimo: A challenge formal dataset for automated theorem provingC Liu, J Shen, H Xin, Z Liu, Y Yuan, H Wang, W Ju, C Zheng, Y Yin, L Li, ...arXiv preprint arXiv:2309.04295, 202392023
3-) Reusing pretrained models by multi-linear operators for efficient trainingY Pan, Y Yuan, Y Yin, Z Xu, L Shang, X Jiang, Q LiuAdvances in Neural Information Processing Systems 36, 3248-3262, 202382023
4-) Trigo: Benchmarking formal mathematical proof reduction for generative language modelsJ Xiong, J Shen, Y Yuan, H Wang, Y Yin, Z Liu, L Li, Z Guo, Q Cao, ...arXiv preprint arXiv:2310.10180, 202392023
5-) Preparing lessons for progressive training on language modelsY Pan, Y Yuan, Y Yin, J Shi, Z Xu, M Zhang, L Shang, X Jiang, Q LiuProceedings of the AAAI Conference on Artificial Intelligence 38 (17), 18860 …, 2024