| 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 | 34 | 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 | 29 | 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 | 19 | 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 | 19 | 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 | 13 | 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 | 12 | 2023 |
| Proving Theorems Recursively H Wang, H Xin, Z Liu, W Li, Y Huang, J Lu, Z Yang, J Tang, J Yin, Z Li, ... arXiv preprint arXiv:2405.14414, 2024 | 4 | 2024 |
| 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 | 3 | 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 arXiv preprint arXiv:2406.14408, 2024 | 1 | 2024 |
| 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 |
