default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChenyi Li
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
2020 – today
- 2026
[c8]Chenyi Li
, Wanli Ma, Zichen Wang, Zaiwen Wen:
SITA: A Framework for Structure-to-Instance Theorem Autoformalization. AAAI 2026: 19224-19232- [c7]Chenyi Li, Xinhui Tu, Zaixiang Wang:
DVCQR: Dual-View Conversational Query Rewriting with Stage-wise Reinforcement Learning. ACL (1) 2026: 22993-23014 - [i15]Chenyi Li, Yuan Zhang, Bo Wang, Guoqing Ma, Wei Tang, Haoyang Huang, Nan Duan:
SetPO: Set-Level Policy Optimization for Diversity-Preserving LLM Reasoning. CoRR abs/2602.01062 (2026) - [i14]Bowen Yang, Yi Yuan, Chenyi Li, Ziyu Wang, Liangqi Li, Bo Zhang, Zhe Li, Zaiwen Wen:
Construction-Verification: A Benchmark for Applied Mathematics in Lean 4. CoRR abs/2602.01291 (2026) - [i13]Chenyi Li, Raja Marjieh, Haoyu Hu, Mark Steyvers, Katherine M. Collins, Ilia Sucholutsky, Nori Jacoby:
Human-AI Synergy Supports Collective Creative Search. CoRR abs/2602.10001 (2026) - [i12]Haoyu Hu, Raja Marjieh, Katherine M. Collins, Chenyi Li, Thomas L. Griffiths, Ilia Sucholutsky, Nori Jacoby:
Why Human Guidance Matters in Collaborative Vibe Coding. CoRR abs/2602.10473 (2026) - [i11]Chenyi Li, Yanchen Nie, Zhenyu Ming, Gong Zhang, Kun Yuan, Zaiwen Wen:
OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving. CoRR abs/2604.23712 (2026) - [i10]Yuan Zhang, Chenyi Li, Guoqing Ma, Jiajun Zha, Yuanming Yang, Bo Wang, Wei Tang, Wenbo Li, Haoyang Huang, Nan Duan:
Teacher-Feature Drifting: One-Step Diffusion Distillation with Pretrained Diffusion Representations. CoRR abs/2605.07327 (2026) - [i9]Wentao Long, Yunfei Zhang, Chenyi Li, Li Zhou, Chumin Sun, Zaiwen Wen:
CAM-Bench: A Benchmark for Computational and Applied Mathematics in Lean. CoRR abs/2605.17255 (2026) - [i8]Yuanming Yang, Guoqing Ma, Bo Wang, Yuan Zhang, Wei Tang, Chenyi Li, Haoyang Huang, Nan Duan:
DiT-Reward: Generative Representations for Text-to-Image Reward Modeling. CoRR abs/2606.23626 (2026) - 2025
- [j2]Chenyi Li, Ziyu Wang, Wanyi He, Yuxuan Wu, Shengyang Xu, Zaiwen Wen:
Formalization of Convergence Rates of Four First-order Algorithms for Convex Optimization. J. Autom. Reason. 69(4): 28 (2025) - [c6]Chenyi Li, Guande Wu, Gromit Yeuk-Yin Chan, Dishita G. Turakhia, Sonia Castelo Quispe, Dong Li, Leslie Welch, Cláudio T. Silva, Jing Qian:
Satori 悟り: Towards Proactive AR Assistant with Belief-Desire-Intention User Modeling. CHI 2025: 1229:1-1229:24 - [c5]Tianxiao He, Malhar Patel, Chenyi Li, Anna Maslarova, Mihály Vöröslakos, Nalini Ramanathan, Wei-Lun Hung, György Buzsáki, Erdem Varol:
Self supervised learning for in vivo localization of microelectrode arrays using raw local field potential. NeurIPS 2025 - [c4]Ziyue Wang, Chenyi Li, Long Zhang:
An Integrated LQR and Sliding Mode Controller for Balance and Motion Control of a Five-Link Two-Wheel Legged Robot. TAROS 2025: 138-151 - [i7]Chenyi Li, Wanli Ma, Zichen Wang, Zaiwen Wen:
SITA: A Framework for Structure-to-Instance Theorem Autoformalization. CoRR abs/2511.10356 (2025) - [i6]Chenyi Li, Zhijian Lai, Dong An, Jiang Hu, Zaiwen Wen:
Advancing Mathematical Research via Human-AI Interactive Theorem Proving. CoRR abs/2512.09443 (2025) - [i5]Ziyu Wang, Bowen Yang, Chenyi Li, Yuan Zhang, Shihao Zhou, Bin Dong, Zaiwen Wen:
Translating Informal Proofs into Formal Proofs Using a Chain of States. CoRR abs/2512.10317 (2025) - 2024
- [i4]Chenyi Li, Ziyu Wang, Wanyi He, Yuxuan Wu, Shengyang Xu, Zaiwen Wen:
Formalization of Complexity Analysis of the First-order Optimization Algorithms. CoRR abs/2403.11437 (2024) - [i3]Chenyi Li, Guande Wu, Gromit Yeuk-Yin Chan, Dishita G. Turakhia, Sonia Castelo Quispe, Dong Li, Leslie Welch, Cláudio T. Silva, Jing Qian:
Satori: Towards Proactive AR Assistant with Belief-Desire-Intention User Modeling. CoRR abs/2410.16668 (2024) - 2022
- [c3]Jingbei Li, Yi Meng, Chenyi Li, Zhiyong Wu, Helen Meng, Chao Weng, Dan Su:
Enhancing Speaking Styles in Conversational Text-to-Speech Synthesis with Graph-Based Multi-Modal Context Modeling. ICASSP 2022: 7917-7921 - [c2]Chenyi Li, Zhiyong Wu, Wei Rao, Yannan Wang, Helen Meng:
Boosting the Performance of SpEx+ by Attention and Contextual Mechanism. ISCSLP 2022: 135-139 - 2021
- [i2]Jingbei Li, Yi Meng, Chenyi Li, Zhiyong Wu, Helen Meng, Chao Weng, Dan Su:
Spoken Style Learning with Multi-modal Hierarchical Context Encoding for Conversational Text-to-Speech Synthesis. CoRR abs/2106.06233 (2021) - [i1]Junjie Yu, Chenyi Li, Kexin Lou, Chen Wei, Quanying Liu:
Embedding Decomposition for Artifacts Removal in EEG Signals. CoRR abs/2112.00989 (2021)
2010 – 2019
- 2019
- [j1]Yonghai Xu, Wenqing Lu, Kun Wang, Chenyi Li, Waseem Aslam:
Sensitivity of Low-Voltage Variable-Frequency Devices to Voltage Sags. IEEE Access 7: 2068-2079 (2019) - 2017
- [c1]Wenxiong Mo, Zhong Xu, Zhiyuan Ma, Chenyi Li, Wenqing Lu:
Estimation of single-event voltage sags using a novel classification method. IECON 2017: 233-238
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2026-07-10 01:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
