| Progressive-hint prompting improves reasoning in large language models C Zheng, Z Liu, E Xie, Z Li, Y Li arXiv preprint arXiv:2304.09797, 2023 | 84 | 2023 |
| 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 | 28 | 2019 |
| 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 | 13 | 2023 |
| 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 | 9 | 2023 |
| LocATe: End-to-end Localization of Actions in 3D with Transformers J Sun, L Wang, H Wang, C Zheng, E Xie, Z Bolei, MJ Black, ... arXiv preprint arXiv:2203.10719, 2022 | 7 | 2022 |
| 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 | 5 | 2024 |
| 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 | 5 | 2024 |
| 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 | 3 | 2023 |
| Aria-NeRF: Multimodal egocentric view synthesis J Sun, J Qiu, C Zheng, J Tucker, J Yu, M Schwager arXiv preprint arXiv:2311.06455, 2023 | 2 | 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 | 2 | 2023 |
| 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 | 2 | 2023 |
| 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 |
| 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 | | 2024 |
| On the Expressive Power of a Variant of the Looped Transformer Y Gao, C Zheng, E Xie, H Shi, T Hu, Y Li, MK Ng, Z Li, Z Liu arXiv preprint arXiv:2402.13572, 2024 | | 2024 |
| Predicting Knee Osteoarthritis Progression with a interpretable Deep Learning Approach on Magnetic Resonance Imaging: data from the Osteoarthritis Initiative J Hu, C Zheng, L Zhong, K Yu, WZ Chen, Yanjun, Q Dou, X Zhang International Society for Magnetic Resonance in Medicine (ISMRM) 2022, 2022 | | 2022 |
| Can infrapatellar fat pad predict the incidence of knee osteoarthritis by using deep learning based on MRI? Data from osteoarthritis initiative K Yu, C Zheng, J Hu, L Zhong, Q Dou, X Zhang International Society for Magnetic Resonance in Medicine (ISMRM) 2022, 2022 | | 2022 |
| Nonnegative Residual Matrix Factorization for Community Detection Y Pei, C Liu, C Zheng, L Cheng Web Information Systems Engineering–WISE 2020: 21st International Conference …, 2020 | | 2020 |
Enze XieNVIDIA, HKUVerified email at connect.hku.hk
