| DAGN: Discourse-aware graph network for logical reasoning Y Huang, M Fang, Y Cao, L Wang, X Liang Conference of the North American Chapter of the Association for …, 2021 | 66 | 2021 |
| Lego-prover: Neural theorem proving with growing libraries H Xin, H Wang, C Zheng, L Li, Z Liu, Q Cao, Y Huang, J Xiong, H Shi, ... International Conference on Learning Representations (ICLR 2024), 2023 | 47 | 2023 |
| Integrating large language models into recommendation via mutual augmentation and adaptive aggregation S Luo, Y Yao, B He, Y Huang, A Zhou, X Zhang, Y Xiao, M Zhan, L Song arXiv preprint arXiv:2401.13870, 2024 | 27 | 2024 |
| 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 International Conference on Learning Representations (ICLR 2024), 2024 | 25 | 2024 |
| Recranker: Instruction tuning large language model as ranker for top-k recommendation S Luo, B He, H Zhao, W Shao, Y Qi, Y Huang, A Zhou, Y Yao, Z Li, Y Xiao, ... ACM Transactions on Information Systems, 2024 | 23 | 2024 |
| PathReasoner: Explainable reasoning paths for commonsense question answering X Zhan, Y Huang, X Dong, Q Cao, X Liang Knowledge-based systems 235, 107612, 2022 | 18 | 2022 |
| 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, ... Conference on Empirical Methods in Natural Language Processing (EMNLP 2023), 2023 | 12 | 2023 |
| REM-Net: Recursive erasure memory network for commonsense evidence refinement Y Huang, M Fang, X Zhan, Q Cao, X Liang AAAI Conference on Artificial Intelligence (AAAI 2021) 35 (7), 6375-6383, 2021 | 10 | 2021 |
| 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 | 9 | 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 | 6 | 2024 |
| ATG: Benchmarking automated theorem generation for generative language models X Lin, Q Cao, Y Huang, Z Yang, Z Liu, Z Li, X Liang arXiv preprint arXiv:2405.06677, 2024 | 6 | 2024 |
| Clomo: Counterfactual logical modification with large language models Y Huang, R Hong, H Zhang, W Shao, Z Yang, D Yu, C Zhang, X Liang, ... arXiv preprint arXiv:2311.17438, 2023 | 5 | 2023 |
| 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 (Co-First Author) Thirty-Eighth Annual Conference on Neural Information …, 2024 | 4 | 2024 |
| Autocv: Empowering reasoning with automated process labeling via confidence variation J Lu, Z Dou, H Wang, Z Cao, J Dai, Y Wan, Y Huang, Z Guo arXiv preprint arXiv:2405.16802, 2024 | 4 | 2024 |
| Discourse-aware graph networks for textual logical reasoning Y Huang, L Liu, K Xu, M Fang, L Lin, X Liang IEEE Transactions on Pattern Analysis and Machine Intelligence (TPAMI), 2023 | 4 | 2023 |
| MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure Y Huang, H Zhang, R Hong, X Liang, C Zhang, D Yu Conference on Empirical Methods in Natural Language Processing (EMNLP 2022), 2022 | 4 | 2022 |
| OptiBench meets ReSocratic: Measure and improve LLMs for optimization modeling Z Yang, Y Wang, Y Huang, Z Guo, W Shi, X Han, L Feng, L Song, X Liang, ... arXiv preprint arXiv:2407.09887, 2024 | 3 | 2024 |
| Benchmarking llms for optimization modeling and enhancing reasoning via reverse socratic synthesis Z Yang, Y Huang, W Shi, L Feng, L Song, Y Wang, X Liang, J Tang arXiv e-prints, arXiv: 2407.09887, 2024 | 2 | 2024 |
| FormalAlign: Automated Alignment Evaluation for Autoformalization J Lu, Y Wan, Y Huang, J Xiong, Z Liu, Z Guo arXiv preprint arXiv:2410.10135, 2024 | | 2024 |
| AlignedCoT: Prompting Large Language Models via Native-Speaking Demonstrations Z Yang, Y Huang, J Xiong, L Feng, X Liang, Y Wang, J Tang Findings of EMNLP 2024, 2023 | | 2023 |
Xiaodan LiangAssociate Professor, Sun Yat-sen University, MBZUAI, CMU, NUSVerifisert e-postadresse på mail2.sysu.edu.cn