LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning
Paper • 2603.21065 • Published • 62
Zhixin Cai
hihiczx
·
AI & ML interests
None yet
Recent Activity
upvoted a paper about 18 hours ago
LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning upvoted a paper about 18 hours ago
Omni-WorldBench: Towards a Comprehensive Interaction-Centric Evaluation for World Models upvoted a paper 6 days ago
Video-CoE: Reinforcing Video Event Prediction via Chain of EventsOrganizations
None yet
upvoted 2
papers about 18 hours ago
upvoted a paper 6 days ago
upvoted a paper 14 days ago
upvoted a paper 22 days ago
upvoted a paper 25 days ago
upvoted a paper about 1 month ago
upvoted 3
papers about 2 months ago
FASA: Frequency-aware Sparse Attention
Paper • 2602.03152 • Published • 152
Everything in Its Place: Benchmarking Spatial Intelligence of Text-to-Image Models
Paper • 2601.20354 • Published • 112
Harder Is Better: Boosting Mathematical Reasoning via Difficulty-Aware GRPO and Multi-Aspect Question Reformulation
Paper • 2601.20614 • Published • 120
upvoted 3
papers 2 months ago
Taming Hallucinations: Boosting MLLMs' Video Understanding via Counterfactual Video Generation
Paper • 2512.24271 • Published • 64
Urban Socio-Semantic Segmentation with Vision-Language Reasoning
Paper • 2601.10477 • Published • 156
Thinking with Map: Reinforced Parallel Map-Augmented Agent for Geolocalization
Paper • 2601.05432 • Published • 169