← authors · overview

• MASTER: A Multi-agent System With LLM Specialized MCTS
  2025 · 5 citations
• Instructrag: Leveraging Retrieval-augmented Generation On Instruction Graphs For Llm-based Task Planning
  2025 · 1 citations
• Longcat-flash-prover: Advancing Native Formal Reasoning Via Agentic Tool-integrated Reinforcement Learning
  2026