AI RESEARCH
LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning
arXiv CS.AI
•
ArXi:2603.21065v1 Announce Type: new