LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning
Paper • 2603.21065 • Published • 59
Lin Qiu
royql
AI & ML interests
None yet
Recent Activity
upvoted a paper about 7 hours ago
LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning liked a model about 2 months ago
meituan-longcat/LongCat-Flash-Lite liked a dataset about 2 months ago
AGI-Eval/AMemGymOrganizations
upvoted a paper about 7 hours ago
liked a
model about 2 months ago
liked a
dataset about 2 months ago
upvoted a paper about 2 months ago
liked a
model 2 months ago
liked a
dataset 10 months ago
upvoted a collection 10 months ago