| 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 | 36 | 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 |
| 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 |
| 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 |
| Self-consistent reasoning for solving math word problems J Xiong, Z Wan, X Hu, M Yang, C Li arXiv preprint arXiv:2210.15373, 2022 | 10 | 2022 |
| D2O: Dynamic Discriminative Operations for Efficient Generative Inference of Large Language Models Z Wan, X Wu, Y Zhang, Y Xin, C Tao, Z Zhu, X Wang, S Luo, J Xiong, ... arXiv preprint arXiv:2406.13035, 2024 | 8 | 2024 |
| Expression syntax information bottleneck for math word problems J Xiong, C Li, M Yang, X Hu, B Hu Proceedings of the 45th International ACM SIGIR Conference on Research and …, 2022 | 8 | 2022 |
| 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 |
| Boosting text-to-video generative model with MLLMs feedback X Wu, S Huang, G Wang, J Xiong, F Wei The Thirty-eighth Annual Conference on Neural Information Processing Systems, 2024 | 3 | 2024 |
| Autoregressive Models in Vision: A Survey J Xiong, G Liu, L Huang, C Wu, T Wu, Y Mu, Y Yao, H Shen, Z Wan, ... arXiv preprint arXiv:2411.05902, 2024 | 1 | 2024 |
| UncertaintyRAG: Span-Level Uncertainty Enhanced Long-Context Modeling for Retrieval-Augmented Generation Z Li, J Xiong, F Ye, C Zheng, X Wu, J Lu, Z Wan, X Liang, C Li, Z Sun, ... arXiv preprint arXiv:2410.02719, 2024 | 1 | 2024 |
| CAPE: Context-Adaptive Positional Encoding for Length Extrapolation C Zheng, Y Gao, H Shi, M Huang, J Li, J Xiong, X Ren, M Ng, X Jiang, Z Li, ... arXiv preprint arXiv:2405.14722, 2024 | 1 | 2024 |
| Towards Human-aligned Evaluation for Linear Programming Word Problems L Xing, X Wang, Y Feng, Z Fan, J Xiong, Z Guo, X Fu, R Ramamonjison, ... Proceedings of the 2024 Joint International Conference on Computational …, 2024 | 1 | 2024 |
| Multimodal Large Language Models Make Text-to-Image Generative Models Align Better X Wu, S Huang, G Wang, J Xiong, F Wei Advances in Neural Information Processing Systems 37, 81287-81323, 2025 | | 2025 |
| LIFT: Improving Long Context Understanding Through Long Input Fine-Tuning Y Mao, J Li, F Meng, J Xiong, Z Zheng, M Zhang arXiv preprint arXiv:2412.13626, 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 the Association for Computational Linguistics: EMNLP 2024, 2857-2896, 2024 | | 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 |
| DAPE V2: Process Attention Score as Feature Map for Length Extrapolation C Zheng, Y Gao, H Shi, J Xiong, J Sun, J Li, M Huang, X Ren, M Ng, ... arXiv preprint arXiv:2410.04798, 2024 | | 2024 |
| UNComp: Uncertainty-Aware Long-Context Compressor for Efficient Large Language Model Inference J Xiong, J Shen, F Ye, C Tao, Z Wan, J Lu, X Wu, C Zheng, Z Guo, L Kong, ... arXiv preprint arXiv:2410.03090, 2024 | | 2024 |
| Speak Like a Native: Prompting Large Language Models in a Native Style Z Yang, Y Wang, Y Huang, J Xiong, X Liang, J Tang arXiv preprint arXiv:2311.13538, 2023 | | 2023 |
Haiming WangSun Yat-Sen UniversityVerified email at mail2.sysu.edu.cn
