papers
Publications (14)
cs.LG2026
Kimi K2: Open Agentic Intelligence
Kimi Team, Yifan Bai, Yiping Bao +195
physics.comp-ph2025
Large Language Models as AI Agents for Digital Atoms and Molecules: Catalyzing a New Era in Computational Biophysics
Yijie Xia, Xiaohan Lin, Zicheng Ma +9
cs.AI2024
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
Xiaohan Lin, Qingxing Cao, Yinya Huang +5
cs.AI2025
LeanGeo: Formalizing Competitional Geometry problems in Lean
Chendong Song, Zihan Wang, Frederick Pu +5
cs.CL2026
Kimi K2.5: Visual Agentic Intelligence
Kimi Team, Tongtong Bai, Yifan Bai +322
cs.AI2025
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Haiming Wang, Mert Unsal, Xiaohan Lin +37
cs.CL2026
Kimi K3: Open Frontier Intelligence
Kimi Team, Tongtong Bai, Yifan Bai +398
cs.AI2024
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
Yinya Huang, Xiaohan Lin, Zhengying Liu +6
physics.comp-ph2024
Invertible Coarse Graining with Physics-Informed Generative Artificial Intelligence
Jun Zhang, Xiaohan Lin, Weinan E +1
physics.chem-ph2023
DSDP: A Blind Docking Strategy Accelerated by GPUs
YuPeng Huang, Hong Zhang, Siyuan Jiang +4
cs.CL2024
ATG: Benchmarking Automated Theorem Generation for Generative Language Models
Xiaohan Lin, Qingxing Cao, Yinya Huang +4
q-bio.BM2025
ProtTeX: Structure-In-Context Reasoning and Editing of Proteins with Large Language Models
Zicheng Ma, Chuanliu Fan, Zhicong Wang +7
q-bio.NC2019
Spatiotemporal Information Processing with a Reservoir Decision-making Network
Yuanyuan Mi, Xiaohan Lin, Xiaolong Zou +3
cs.AI2025
CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics
Junqi Liu, Xiaohan Lin, Jonas Bayer +12