| Lego-prover: Neural theorem proving with growing libraries H Wang, H Xin, C Zheng, L Li, Z Liu, Q Cao, Y Huang, J Xiong, H Shi, ... arXiv preprint arXiv:2310.00656, 2023 | 47 | 2023 |
| Dt-solver: Automated theorem proving with dynamic-tree sampling guided by proof-level value function H 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 …, 2023 | 34 | 2023 |
| Mustard: Mastering uniform synthesis of theorem and proof data Y Huang, X Lin, Z Liu, Q Cao, H Xin, H Wang, Z Li, L Song, X Liang arXiv preprint arXiv:2402.08957, 2024 | 25 | 2024 |
| Dq-lore: Dual queries with low rank approximation re-ranking for in-context learning J Xiong, Z Li, C Zheng, Z Guo, Y Yin, E Xie, Z Yang, Q Cao, H Wang, ... arXiv preprint arXiv:2310.02954, 2023 | 20 | 2023 |
| Lyra: Orchestrating dual correction in automated theorem proving C Zheng, H Wang, E Xie, Z Liu, J Sun, H Xin, J Shen, Z Li, Y Li arXiv preprint arXiv:2309.15806, 2023 | 17 | 2023 |
| Trigo: Benchmarking formal mathematical proof reduction for generative language models J Xiong, J Shen, Y Yuan, H Wang, Y Yin, Z Liu, L Li, Z Guo, Q Cao, ... arXiv preprint arXiv:2310.10180, 2023 | 11 | 2023 |
| Proving theorems recursively H Wang, H Xin, Z Liu, W Li, Y Huang, J Lu, Z Yang, J Tang, J Yin, Z Li, ... Advances in Neural Information Processing Systems 37, 86720-86748, 2025 | 9 | 2025 |
| Process-driven autoformalization in lean 4 J Lu, Y Wan, Z Liu, Y Huang, J Xiong, C Liu, J Shen, H Jin, J Zhang, ... arXiv preprint arXiv:2406.01940, 2024 | 6 | 2024 |
| FVEL: Interactive formal verification environment with large language models via theorem proving X Lin, Q Cao, Y Huang, H Wang, J Lu, Z Liu, L Song, X Liang Advances in Neural Information Processing Systems 37, 54932-54946, 2025 | 4 | 2025 |
| Multi-Task Learning with Personalized Transformer for Review Recommendation H Wang, W Liu, J Yin Web Information Systems Engineering–WISE 2021: 22nd International Conference …, 2021 | 1 | 2021 |
