Chenyi Li - RankMe

19 papers A* 2C 1Misc 1Journal 13Unranked 2

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Construction-Verification: A Benchmark for Applied Mathematics in Lean 4. CoRR Bowen Yang, Yi Yuan, Chenyi Li, Ziyu Wang, Liangqi Li, Bo Zhang, Zhe Li, Zaiwen Wen
2026	J	`jnl`	Human-AI Synergy Supports Collective Creative Search. CoRR Chenyi Li, Raja Marjieh, Haoyu Hu, Mark Steyvers, Katherine M. Collins, Ilia Sucholutsky, Nori Jacoby
2026	A*	`conf`	SITA: A Framework for Structure-to-Instance Theorem Autoformalization. AAAI Chenyi Li, Wanli Ma, Zichen Wang, Zaiwen Wen
2026	J	`jnl`	SetPO: Set-Level Policy Optimization for Diversity-Preserving LLM Reasoning. CoRR Chenyi Li, Yuan Zhang, Bo Wang, Guoqing Ma, Wei Tang, Haoyang Huang, Nan Duan
2026	J	`jnl`	Why Human Guidance Matters in Collaborative Vibe Coding. CoRR Haoyu Hu, Raja Marjieh, Katherine M. Collins, Chenyi Li, Thomas L. Griffiths, Ilia Sucholutsky, Nori Jacoby
2025	J	`jnl`	Advancing Mathematical Research via Human-AI Interactive Theorem Proving. CoRR Chenyi Li, Zhijian Lai, Dong An, Jiang Hu, Zaiwen Wen
2025	—	`conf`	An Integrated LQR and Sliding Mode Controller for Balance and Motion Control of a Five-Link Two-Wheel Legged Robot. TAROS Ziyue Wang, Chenyi Li, Long Zhang
2025	J	`jnl`	Formalization of Convergence Rates of Four First-order Algorithms for Convex Optimization. J. Autom. Reason. Chenyi Li, Ziyu Wang, Wanyi He, Yuxuan Wu, Shengyang Xu, Zaiwen Wen
2025	J	`jnl`	SITA: A Framework for Structure-to-Instance Theorem Autoformalization. CoRR Chenyi Li, Wanli Ma, Zichen Wang, Zaiwen Wen
2025	A*	`conf`	Satori 悟り: Towards Proactive AR Assistant with Belief-Desire-Intention User Modeling. CHI Chenyi Li, Guande Wu, Gromit Yeuk-Yin Chan, Dishita G. Turakhia, Sonia Castelo Quispe, Dong Li, Leslie Welch, Cláudio T. Silva, Jing Qian
2025	J	`jnl`	Translating Informal Proofs into Formal Proofs Using a Chain of States. CoRR Ziyu Wang, Bowen Yang, Chenyi Li, Yuan Zhang, Shihao Zhou, Bin Dong, Zaiwen Wen
2024	J	`jnl`	Formalization of Complexity Analysis of the First-order Optimization Algorithms. CoRR Chenyi Li, Ziyu Wang, Wanyi He, Yuxuan Wu, Shengyang Xu, Zaiwen Wen
2024	J	`jnl`	Satori: Towards Proactive AR Assistant with Belief-Desire-Intention User Modeling. CoRR Chenyi Li, Guande Wu, Gromit Yeuk-Yin Chan, Dishita G. Turakhia, Sonia Castelo Quispe, Dong Li, Leslie Welch, Cláudio T. Silva, Jing Qian
2022	—	`conf`	Boosting the Performance of SpEx+ by Attention and Contextual Mechanism. ISCSLP Chenyi Li, Zhiyong Wu, Wei Rao, Yannan Wang, Helen Meng
2022	Misc	`conf`	Enhancing Speaking Styles in Conversational Text-to-Speech Synthesis with Graph-Based Multi-Modal Context Modeling. ICASSP Jingbei Li, Yi Meng, Chenyi Li, Zhiyong Wu, Helen Meng, Chao Weng, Dan Su
2021	J	`jnl`	Embedding Decomposition for Artifacts Removal in EEG Signals. CoRR Junjie Yu, Chenyi Li, Kexin Lou, Chen Wei, Quanying Liu
2021	J	`jnl`	Spoken Style Learning with Multi-modal Hierarchical Context Encoding for Conversational Text-to-Speech Synthesis. CoRR Jingbei Li, Yi Meng, Chenyi Li, Zhiyong Wu, Helen Meng, Chao Weng, Dan Su
2019	J	`jnl`	Sensitivity of Low-Voltage Variable-Frequency Devices to Voltage Sags. IEEE Access Yonghai Xu, Wenqing Lu, Kun Wang, Chenyi Li, Waseem Aslam
2017	C	`conf`	Estimation of single-event voltage sags using a novel classification method. IECON Wenxiong Mo, Zhong Xu, Zhiyuan Ma, Chenyi Li, Wenqing Lu