Xiangyu Xi
4 papers · 0 citations
Most-cited papers
- Heavyskill: Heavy Thinking As The Inner Skill In Agentic Harness2026
- Longcat-flash-prover: Advancing Native Formal Reasoning Via Agentic Tool-integrated Reinforcement Learning2026
Top co-authors
Topics