LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning
Paper • 2603.21065 • Published • 77
Yiwei Li
levi-on4
AI & ML interests
None yet
Recent Activity
liked a model 2 months ago
meituan-longcat/LongCat-Flash-Thinking-ZigZag authored a paper 2 months ago
Escape Sky-high Cost: Early-stopping Self-Consistency for Multi-step
ReasoningOrganizations
None yet