Chuanyang Zheng

According to our database, Chuanyang Zheng authored at least 21 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Lyra: Orchestrating Dual Correction in Automated Theorem Proving.

Chuanyang Zheng, Haiming Wang, Enze Xie, Zhengying Liu, Jiankai Sun, Huajian Xin, Jianhao Shen, Zhenguo Li, Yu Li

Trans. Mach. Learn. Res., 2024

DAPE V2: Process Attention Score as Feature Map for Length Extrapolation.

Chuanyang Zheng, Yihang Gao, Han Shi, Jing Xiong, Jiankai Sun, Jingyao Li, Minbin Huang, Xiaozhe Ren, Michael K. Ng, Xin Jiang, Zhenguo Li, Yu Li

CoRR, 2024

UNComp: Uncertainty-Aware Long-Context Compressor for Efficient Large Language Model Inference.

Jing Xiong, Jianghan Shen, Fanghua Ye, Chaofan Tao, Zhongwei Wan, Jianqiao Lu, Xun Wu, Chuanyang Zheng, Zhijiang Guo, Lingpeng Kong, Ngai Wong

CoRR, 2024

UncertaintyRAG: Span-Level Uncertainty Enhanced Long-Context Modeling for Retrieval-Augmented Generation.

Zixuan Li, Jing Xiong, Fanghua Ye, Chuanyang Zheng, Xun Wu, Jianqiao Lu, Zhongwei Wan, Xiaodan Liang, Chengming Li, Zhenan Sun, Lingpeng Kong, Ngai Wong

CoRR, 2024

RoboCoder: Robotic Learning from Basic Skills to General Tasks with Large Language Models.

Jingyao Li, Pengguang Chen, Sitong Wu, Chuanyang Zheng, Hong Xu, Jiaya Jia

CoRR, 2024

CAPE: Context-Adaptive Positional Encoding for Length Extrapolation.

Chuanyang Zheng, Yihang Gao, Han Shi, Minbin Huang, Jingyao Li, Jing Xiong, Xiaozhe Ren, Michael K. Ng, Xin Jiang, Zhenguo Li, Yu Li

CoRR, 2024

On the Expressive Power of a Variant of the Looped Transformer.

Yihang Gao, Chuanyang Zheng, Enze Xie, Han Shi, Tianyang Hu, Yu Li, Michael K. Ng, Zhenguo Li, Zhaoqiang Liu

CoRR, 2024

DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning.

Jing Xiong, Zixuan Li, Chuanyang Zheng, Zhijiang Guo, Yichun Yin, Enze Xie, Zhicheng Yang, Qingxing Cao, Haiming Wang, Xiongwei Han, Jing Tang, Chengming Li, Xiaodan Liang

Proceedings of the Twelfth International Conference on Learning Representations, 2024

LEGO-Prover: Neural Theorem Proving with Growing Libraries.

Haiming Wang, Huajian Xin, Chuanyang Zheng, Zhengying Liu, Qingxing Cao, Yinya Huang, Jing Xiong, Han Shi, Enze Xie, Jian Yin, Zhenguo Li, Xiaodan Liang

Proceedings of the Twelfth International Conference on Learning Representations, 2024

Towards Better Vision-Inspired Vision-Language Models.

Yun-Hao Cao, Kaixiang Ji, Ziyuan Huang, Chuanyang Zheng, Jiajia Liu, Jian Wang, Jingdong Chen, Ming Yang

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024

2023

A Survey of Reasoning with Foundation Models.

Jiankai Sun, Chuanyang Zheng, Enze Xie, Zhengying Liu, Ruihang Chu, Jianing Qiu, Jiaqi Xu, Mingyu Ding, Hongyang Li, Mengzhe Geng, Yue Wu, Wenhai Wang, Junsong Chen, Zhangyue Yin, Xiaozhe Ren, Jie Fu, Junxian He, Wu Yuan, Qi Liu, Xihui Liu, Yu Li, Hao Dong, Yu Cheng, Ming Zhang, Pheng-Ann Heng, Jifeng Dai, Ping Luo, Jingdong Wang, Ji-Rong Wen, Xipeng Qiu, Yike Guo, Hui Xiong, Qun Liu, Zhenguo Li

CoRR, 2023

Aria-NeRF: Multimodal Egocentric View Synthesis.

Jiankai Sun, Jianing Qiu, Chuanyang Zheng, John Tucker, Javier Yu, Mac Schwager

CoRR, 2023

LEGO-Prover: Neural Theorem Proving with Growing Libraries.

Haiming Wang, Huajian Xin, Chuanyang Zheng, Lin Li, Zhengying Liu, Qingxing Cao, Yinya Huang, Jing Xiong, Han Shi, Enze Xie, Jian Yin, Zhenguo Li, Heng Liao, Xiaodan Liang

CoRR, 2023

FIMO: A Challenge Formal Dataset for Automated Theorem Proving.

Chengwu Liu, Jianhao Shen, Huajian Xin, Zhengying Liu, Ye Yuan, Haiming Wang, Wei Ju, Chuanyang Zheng, Yichun Yin, Lin Li, Ming Zhang, Qun Liu

CoRR, 2023

Progressive-Hint Prompting Improves Reasoning in Large Language Models.

Chuanyang Zheng, Zhengying Liu, Enze Xie, Zhenguo Li, Yu Li

CoRR, 2023

TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models.

Jing Xiong, Jianhao Shen, Ye Yuan, Haiming Wang, Yichun Yin, Zhengying Liu, Lin Li, Zhijiang Guo, Qingxing Cao, Yinya Huang, Chuanyang Zheng, Xiaodan Liang, Ming Zhang, Qun Liu

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

2022

A permission-combination scalable access control model for Internet of things.

Qikun Zhang, Yongjiao Li, Chuanyang Zheng, Liang Zhu, Junling Yuan, Sikang Hu

Trans. Emerg. Telecommun. Technol., 2022

SAViT: Structure-Aware Vision Transformer Pruning via Collaborative Optimization.

Chuanyang Zheng, Zheyang Li, Kai Zhang, Zhi Yang, Wenming Tan, Jun Xiao, Ye Ren, Shiliang Pu

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

2020

Nonnegative Residual Matrix Factorization for Community Detection.

Yulong Pei, Cong Liu, Chuanyang Zheng, Long Cheng

Proceedings of the Web Information Systems Engineering - WISE 2020, 2020

2019

Group Key Agreement Protocol Based on Privacy Protection and Attribute Authentication.

Qikun Zhang, Yongjiao Li, Yong Gan, Chuanyang Zheng, Xiangyang Luo, Jun Zheng

IEEE Access, 2019

Adaptive Person-Specific Appearance-Based Gaze Estimation.

Chuanyang Zheng, Jun Zhou, Jun Sun, Lihua Zhao

Proceedings of the Digital TV and Wireless Multimedia Communication, 2019