Chenguang Xi
- BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving
2025/02/05 by Ran Xin, Xin, Ran, Chenguang Xi +15 · 42 citations
Computer Science · #Advanced Database Systems and Queries #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, programming, and type systems #Mathematics, Computing, and Information Processing
- Linear convergence in optimization over directed graphs with row-stochastic matrices
2016/11/18 by Chenguang Xi, Xi, Chenguang, Van Sy +7 · 3 citations
Computer Science · #Cooperative Communication and Network Coding #Distributed Control Multi-Agent Systems #FOS: Mathematics #Neural Networks Stability and Synchronization #Optimization and Control (math.OC)
- Seed-Coder: Let the Code Model Curate Data for Itself
2025/06/04 by ByteDance Seed, Seed, ByteDance, Yuyu Zhang +47 · 22 citations
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Software Engineering (cs.SE) #Software Engineering Research #Topic Modeling
- Distributed Subgradient Projection Algorithm over Directed Graphs: Alternate Proof
2017/06/21 by Ran Xin, Chenguang Xi, Xin, Ran +3 · 3 citations
Computer Science · Engineering · #Distributed Control Multi-Agent Systems #Stochastic Gradient Optimization Techniques #Advanced Memory and Neural Computing
- GPT-Fathom: Benchmarking Large Language Models to Decipher the Evolutionary Path towards GPT-4 and Beyond
2023/09/28 by Shen Zheng, Zheng, Shen, Yuyu Zhang +12 · 1 voice · 1 citation
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Topic Modeling #cs.CL
- LongCat-Flash Technical Report
2025/09/01 by Meituan LongCat Team, Bei Li, Bayan +264 · 18 citations
Computer Science · #Multimodal Machine Learning Applications #Domain Adaptation and Few-Shot Learning #Topic Modeling
- Balancing Enhancement, Harmlessness, and General Capabilities: Enhancing Conversational LLMs with Direct RLHF
2024/03/04 by Chen Zheng, Zheng, Chen, Ke Sun +7 · 4 citations
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Semantic Web and Ontologies #Topic Modeling