Lin, Xiaohan

1. Kimi K2: Open Agentic Intelligence
   2025/07/28 by Kimi Team, Yifan Bai, Yiping Bao +363 · 6 voices · 85 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #cs.AI #cs.CL #cs.LG
2. Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
   2025/04/15 by Wang, Haiming, Unsal, Mert, Lin, Xiaohan +37 · 60 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
3. FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
   2024/06/20 by Xiaohan Lin, Qingxing Cao, Lin, Xiaohan +13 · 8 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Model-Driven Software Engineering Techniques #Natural Language Processing Techniques #Semantic Web and Ontologies
4. CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics
   2025/05/06 by Liu, Junqi, Lin, Xiaohan, Bayer, Jonas +12 · 8 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
5. ATG: Benchmarking Automated Theorem Generation for Generative Language Models
   2024/05/05 by Xiaohan Lin, Qingxing Cao, Lin, Xiaohan +11 · 2 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Speech and dialogue systems #Topic Modeling
6. DSDP: A Blind Docking Strategy Accelerated by GPUs
   2023/03/16 by Huang, YuPeng, Zhang, Hong, Jiang, Siyuan +4 · 1 citation
   #Chemical Physics (physics.chem-ph) #FOS: Computer and information sciences #FOS: Physical sciences #Machine Learning (cs.LG)
7. ProtTeX: Structure-In-Context Reasoning and Editing of Proteins with Large Language Models
   2025/03/11 by Zicheng Ma, Chuanliu Fan, Ma, Zicheng +17 · 1 citation
   Computer Science · Biochemistry, Genetics and Molecular Biology · #Natural Language Processing Techniques #Biomedical Text Mining and Ontologies