| Progressive-hint prompting improves reasoning in large language models C Zheng, Z Liu, E Xie, Z Li, Y Li ICML 2024 AI4Math, 2023 | 161 | 2023 |
| A survey of reasoning with foundation models J Sun, C Zheng, E Xie, Z Liu, R Chu, J Qiu, J Xu, M Ding, H Li, M Geng, ... arXiv preprint arXiv:2312.11562, 2023 | 53 | 2023 |
| 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, ... ICLR Oral, 2024 | 47 | 2024 |
| Group key agreement protocol based on privacy protection and attribute authentication Z Qikun, L Yongjiao, G Yong, Z Chuanyang, L Xiangyang, Z Jun IEEE Access 7, 87085-87096, 2019 | 31 | 2019 |
| Fimo: A challenge formal dataset for automated theorem proving C Liu, J Shen, H Xin, Z Liu, Y Yuan, H Wang, W Ju, C Zheng, Y Yin, L Li, ... arXiv preprint arXiv:2309.04295, 2023 | 25 | 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, ... ICLR, 2024 | 23 | 2024 |
| 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 Transactions on Machine Learning Research, 2023 | 17 | 2023 |
| Localization and recognition of human action in 3D using transformers J Sun, L Huang, H Wang, C Zheng, J Qiu, MT Islam, E Xie, B Zhou, L Xing, ... Communications Engineering 3 (1), 125, 2024 | 14* | 2024 |
| DeepKOA: a deep-learning model for predicting progression in knee osteoarthritis using multimodal magnetic resonance images from the osteoarthritis initiative J Hu, C Zheng, Q Yu, L Zhong, K Yu, Y Chen, Z Wang, B Zhang, Q Dou, ... Quantitative Imaging in Medicine and Surgery 13 (8), 4852, 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, ... Proceedings of the 2023 Conference on Empirical Methods in Natural Language …, 2023 | 12 | 2023 |
| DAPE: Data-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, ... NeurIPS 2024, 2024 | 6* | 2024 |
| QuickLLaMA: Query-aware Inference Acceleration for Large Language Models J Li, H Shi, C Zheng, X Jiang, Z Li, H Xu, J Jia arXiv preprint arXiv:2406.07528, 2024 | 5 | 2024 |
| AlgoFormer: An Efficient Transformer Framework with Algorithmic Structures Y Gao, C Zheng, E Xie, H Shi, T Hu, Y Li, MK Ng, Z Li, Z Liu arXiv preprint arXiv:2402.13572, 2024 | 5* | 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 | 4 | 2024 |
| Aria-NeRF: multimodal egocentric view synthesis J Sun, J Qiu, C Zheng, J Tucker, J Yu, M Schwager arXiv preprint arXiv:2311.06455, 2023 | 4 | 2023 |
| Robocoder: Robotic learning from basic skills to general tasks with large language models J Li, P Chen, S Wu, C Zheng, H Xu, J Jia arXiv preprint arXiv:2406.03757, 2024 | 3 | 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 | 2 | 2024 |
| scNovel: a scalable deep learning-based network for novel rare cell discovery in single-cell transcriptomics C Zheng, Y Wang, Y Cheng, X Wang, H Wei, I King, Y Li Briefings in Bioinformatics 25 (3), bbae112, 2024 | 1 | 2024 |
| A permission‐combination scalable access control model for Internet of things Q Zhang, Y Li, C Zheng, L Zhu, J Yuan, S Hu Transactions on Emerging Telecommunications Technologies 33 (4), e4060, 2022 | 1 | 2022 |
| Self-Adjust Softmax C Zheng, Y Gao, G Chen, H Shi, J Xiong, X Ren, C Huang, X Jiang, Z Li, ... arXiv preprint arXiv:2502.18277, 2025 | | 2025 |
Enze XieNVIDIA Research, MMLab@HKUEmail yang diverifikasi di connect.hku.hk