Progressive-hint prompting improves reasoning in large language models C Zheng, Z Liu, E Xie, Z Li, Y Li ICML 2024 AI4Math, 2023 | 102 | 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 | 18 | 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 | 15 | 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 | 10 | 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, ... ICLR, 2024 | 9 | 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 | 7 | 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 | 6 | 2022 |
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 | 5 | 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 Transactions on Machine Learning Research, 2023 | 2 | 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 | 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 |
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 | 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 |
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 |
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 |