Chenyi Li

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

Collaborative distances:

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

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

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

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