Chenyi Li
- Satori: Towards Proactive AR Assistant with Belief-Desire-Intention User Modeling
2024/10/22 by Chenyi Li, Guande Wu, Li, Chenyi +13 · 10 citations
Computer Science · #Advanced Neural Network Applications #Artificial Intelligence (cs.AI) #Context-Aware Activity Recognition Systems #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #IoT and Edge/Fog Computing
- Enhancing Speaking Styles in Conversational Text-to-Speech Synthesis with Graph-based Multi-modal Context Modeling
2021/06/11 by Jingbei Li, Meng Yi, Li, Jingbei +11 · 3 citations
Computer Science · #Speech and dialogue systems #Topic Modeling #Speech Recognition and Synthesis
- Embedding Decomposition for Artifacts Removal in EEG Signals
2021/12/02 by Junjie Yu, Yu, Junjie, Chenyi Li +7 · 1 citation
Neuroscience · Computer Science · #EEG and Brain-Computer Interfaces #Neural dynamics and brain function #Blind Source Separation Techniques
- Formalization of Complexity Analysis of the First-order Algorithms for Convex Optimization
2024/03/18 by Chenyi Li, Ziyu Wang, Li, Chenyi +9 · 1 citation
Computer Science · Mathematics · #Advanced Optimization Algorithms Research #FOS: Mathematics #G.1.6 #Numerical Analysis (math.NA) #Optimization and Control (math.OC) #Optimization and Variational Analysis #Stochastic Gradient Optimization Techniques
- Translating Informal Proofs into Formal Proofs Using a Chain of States
2025/12/11 by Ziyu Wang, Bowen Yang, Wang, Ziyu +11 · 1 citation
Computer Science · #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Constraint Satisfaction and Optimization
- MECA: A Mechanism-Centered Agent for Constructing Well-Specified and Valuable Mathematical Conjectures
2026/07/30 by Wentao Long, Yunfei Zhang, Chenyi Li +1
Computer Science · #cs.AI
- ReasFlow: Assisting Reasoning-Centric Scientific Discovery in Applied Mathematics via a Knowledge-Based Multi-Agent System
2026/07/15 by Yutong He, Daibo Li, Guohong Li +15
#cs.AI #cs.MA