Xiaohan Lin
- Papers
- 4
Cite
Notes
Only stored in your browser.
4papers
Authored papers
4Kimi K2.5: Visual Agentic Intelligence
arXiv 2026
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
arXiv 2025
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
arXiv 2024
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
arXiv 2024
Affiliations
No known affiliations.
Frequent co-authors
10from 4 papers