Picture for Xiaohan Lin

Xiaohan Lin

Kimi K2: Open Agentic Intelligence

Add code
Jul 28, 2025
Viaarxiv icon

CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics

Add code
May 06, 2025
Viaarxiv icon

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

Add code
Apr 15, 2025
Viaarxiv icon

ProtTeX: Structure-In-Context Reasoning and Editing of Proteins with Large Language Models

Add code
Mar 13, 2025
Viaarxiv icon

ProTeX: Structure-In-Context Reasoning and Editing of Proteins with Large Language Models

Add code
Mar 11, 2025
Viaarxiv icon

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving

Add code
Jun 20, 2024
Figure 1 for FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
Figure 2 for FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
Figure 3 for FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
Figure 4 for FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
Viaarxiv icon

ATG: Benchmarking Automated Theorem Generation for Generative Language Models

Add code
May 05, 2024
Figure 1 for ATG: Benchmarking Automated Theorem Generation for Generative Language Models
Figure 2 for ATG: Benchmarking Automated Theorem Generation for Generative Language Models
Figure 3 for ATG: Benchmarking Automated Theorem Generation for Generative Language Models
Figure 4 for ATG: Benchmarking Automated Theorem Generation for Generative Language Models
Viaarxiv icon

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data

Add code
Feb 14, 2024
Viaarxiv icon

Machine-Learned Invertible Coarse Graining for Multiscale Molecular Modeling

Add code
May 02, 2023
Figure 1 for Machine-Learned Invertible Coarse Graining for Multiscale Molecular Modeling
Figure 2 for Machine-Learned Invertible Coarse Graining for Multiscale Molecular Modeling
Figure 3 for Machine-Learned Invertible Coarse Graining for Multiscale Molecular Modeling
Figure 4 for Machine-Learned Invertible Coarse Graining for Multiscale Molecular Modeling
Viaarxiv icon

DSDP: A Blind Docking Strategy Accelerated by GPUs

Add code
Mar 16, 2023
Figure 1 for DSDP: A Blind Docking Strategy Accelerated by GPUs
Figure 2 for DSDP: A Blind Docking Strategy Accelerated by GPUs
Figure 3 for DSDP: A Blind Docking Strategy Accelerated by GPUs
Figure 4 for DSDP: A Blind Docking Strategy Accelerated by GPUs
Viaarxiv icon