Chuanyang Zheng

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

Collaborative distances:

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

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

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

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

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

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

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

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

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