Xia Xiao

1. ChatGLM: A Family of Large Language Models from GLM-130B to GLM-4 All Tools
   2024/06/18 by Team GLM, GLM, Team, : +111 · 388 citations
   Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Topic Modeling
2. 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
3. Activation and evasion of type I interferon responses by SARS-CoV-2
   2020/07/30 by Xiaobo Lei, Xiaojing Dong, Ruiyi Ma +12 · 8 citations
   Immunology and Microbiology · Medicine · #SARS-CoV-2 and COVID-19 Research #Viral Infections and Outbreaks Research #interferon and immune responses
4. 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
5. SceneGenAgent: Precise Industrial Scene Generation with Coding Agent
   2024/10/29 by Xia Xiao, Dan Zhang, Xia, Xiao +12 · 3 citations
   Computer Science · #Advanced Image and Video Retrieval Techniques #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Multimodal Machine Learning Applications #Software Engineering (cs.SE) #Video Analysis and Summarization
6. Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers
   2025/09/08 by Ran Xin, Zeyu Zheng, Xin, Ran +6 · 5 citations
   Computer Science · #Natural Language Processing Techniques
7. Unraveling the mechanism and Fe2O3/Ca2Fe2O5 synergistic catalysis in gas-phase reductive decomposition of CaSO4 toward sustainable lime production.
   2026/07/29 by Xiao Xia, Yifei Wei, Yeshun Tian +5
   Chemistry · Engineering · Environmental Science · Materials Science · #Calcium Carbonate Crystallization and Inhibition #Catalysis and Hydrodesulfurization Studies #Chemical Looping and Thermochemical Processes #Nanomaterials for catalytic reactions #Phosphorus and nutrient management