Chenyi Li

According to our database, Chenyi Li authored at least 23 papers between 2017 and 2026.

Collaborative distances:

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

2026

CAM-Bench: A Benchmark for Computational and Applied Mathematics in Lean.

Wentao Long, Yunfei Zhang, Chenyi Li, Li Zhou, Chumin Sun, Zaiwen Wen

CoRR, May, 2026

Teacher-Feature Drifting: One-Step Diffusion Distillation with Pretrained Diffusion Representations.

Yuan Zhang, Chenyi Li, Guoqing Ma, Jiajun Zha, Yuanming Yang, Bo Wang, Wei Tang, Wenbo Li, Haoyang Huang, Nan Duan

CoRR, May, 2026

OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving.

Chenyi Li, Yanchen Nie, Zhenyu Ming, Gong Zhang, Kun Yuan, Zaiwen Wen

CoRR, April, 2026

Why Human Guidance Matters in Collaborative Vibe Coding.

Haoyu Hu, Raja Marjieh, Katherine M. Collins, Chenyi Li, Thomas L. Griffiths, Ilia Sucholutsky, Nori Jacoby

CoRR, February, 2026

Human-AI Synergy Supports Collective Creative Search.

Chenyi Li, Raja Marjieh, Haoyu Hu, Mark Steyvers, Katherine M. Collins, Ilia Sucholutsky, Nori Jacoby

CoRR, February, 2026

Construction-Verification: A Benchmark for Applied Mathematics in Lean 4.

Bowen Yang, Yi Yuan, Chenyi Li, Ziyu Wang, Liangqi Li, Bo Zhang, Zhe Li, Zaiwen Wen

CoRR, February, 2026

SetPO: Set-Level Policy Optimization for Diversity-Preserving LLM Reasoning.

Chenyi Li, Yuan Zhang, Bo Wang, Guoqing Ma, Wei Tang, Haoyang Huang, Nan Duan

CoRR, February, 2026

DVCQR: Dual-View Conversational Query Rewriting with Stage-wise Reinforcement Learning.

Chenyi Li, Xinhui Tu, Zaixiang Wang

Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2026

SITA: A Framework for Structure-to-Instance Theorem Autoformalization.

Chenyi Li, Wanli Ma, Zichen Wang, Zaiwen Wen

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Formalization of Convergence Rates of Four First-order Algorithms for Convex Optimization.

Chenyi Li, Ziyu Wang, Wanyi He, Yuxuan Wu, Shengyang Xu, Zaiwen Wen

J. Autom. Reason., December, 2025

Translating Informal Proofs into Formal Proofs Using a Chain of States.

Ziyu Wang, Bowen Yang, Chenyi Li, Yuan Zhang, Shihao Zhou, Bin Dong, Zaiwen Wen

CoRR, December, 2025

Advancing Mathematical Research via Human-AI Interactive Theorem Proving.

Chenyi Li, Zhijian Lai, Dong An, Jiang Hu, Zaiwen Wen

CoRR, December, 2025

An Integrated LQR and Sliding Mode Controller for Balance and Motion Control of a Five-Link Two-Wheel Legged Robot.

Ziyue Wang, Chenyi Li, Long Zhang

Proceedings of the Towards Autonomous Robotic Systems - 26th Annual Conference, 2025

Self supervised learning for in vivo localization of microelectrode arrays using raw local field potential.

Tianxiao He, Malhar Patel, Chenyi Li, Anna Maslarova, Mihály Vöröslakos, Nalini Ramanathan, Wei-Lun Hung, György Buzsáki, Erdem Varol

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2025, 2025

Satori 悟り: Towards Proactive AR Assistant with Belief-Desire-Intention User Modeling.

Chenyi Li, Guande Wu, Gromit Yeuk-Yin Chan, Dishita G. Turakhia, Sonia Castelo Quispe, Dong Li, Leslie Welch, Cláudio T. Silva, Jing Qian

Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems, 2025

2024

Satori: Towards Proactive AR Assistant with Belief-Desire-Intention User Modeling.

Chenyi Li, Guande Wu, Gromit Yeuk-Yin Chan, Dishita G. Turakhia, Sonia Castelo Quispe, Dong Li, Leslie Welch, Cláudio T. Silva, Jing Qian

CoRR, 2024

Formalization of Complexity Analysis of the First-order Optimization Algorithms.

Chenyi Li, Ziyu Wang, Wanyi He, Yuxuan Wu, Shengyang Xu, Zaiwen Wen

CoRR, 2024

2022

Boosting the Performance of SpEx+ by Attention and Contextual Mechanism.

Chenyi Li, Zhiyong Wu, Wei Rao, Yannan Wang, Helen Meng

Proceedings of the 13th International Symposium on Chinese Spoken Language Processing, 2022

Enhancing Speaking Styles in Conversational Text-to-Speech Synthesis with Graph-Based Multi-Modal Context Modeling.

Jingbei Li, Yi Meng, Chenyi Li, Zhiyong Wu, Helen Meng, Chao Weng, Dan Su

Proceedings of the IEEE International Conference on Acoustics, 2022

2021

Embedding Decomposition for Artifacts Removal in EEG Signals.

Junjie Yu, Chenyi Li, Kexin Lou, Chen Wei, Quanying Liu

CoRR, 2021

Spoken Style Learning with Multi-modal Hierarchical Context Encoding for Conversational Text-to-Speech Synthesis.

Jingbei Li, Yi Meng, Chenyi Li, Zhiyong Wu, Helen Meng, Chao Weng, Dan Su

CoRR, 2021

2019

Sensitivity of Low-Voltage Variable-Frequency Devices to Voltage Sags.

Yonghai Xu, Wenqing Lu, Kun Wang, Chenyi Li, Waseem Aslam

IEEE Access, 2019

2017

Estimation of single-event voltage sags using a novel classification method.

Wenxiong Mo, Zhong Xu, Zhiyuan Ma, Chenyi Li, Wenqing Lu

Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017