Xiaohan Lin
- Kimi K2: Open Agentic Intelligence
2025/07/28 by Yifan Bai, Kimi Team, 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
- FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
2024/06/20 by Xiaohan Lin, Lin, Xiaohan, Qingxing Cao +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
- 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
- ProtTeX: Structure-In-Context Reasoning and Editing of Proteins with Large Language Models
2025/03/11 by Zicheng Ma, Ma, Zicheng, Chuanliu Fan +17 · 1 citation
Computer Science · Biochemistry, Genetics and Molecular Biology · #Natural Language Processing Techniques #Biomedical Text Mining and Ontologies
- Kimi K3: Open Frontier Intelligence
2026/07/27 by Kimi Team, Tongtong Bai, Yifan Bai +398 · 1 voice
#cs.CL #cs.LG