view article Article PP-OCRv6 on Hugging Face: 50-Language OCR from 1.5M to 34.5M Parameters PaddlePaddle • Jun 22 • 36
LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning Paper • 2603.21065 • Published Mar 22 • 80
R-Horizon: How Far Can Your Large Reasoning Model Really Go in Breadth and Depth? Paper • 2510.08189 • Published Oct 9, 2025 • 29
R-HORZION Datasets Collection Training and evaluation datasets of R-HORIZON: How Far Can Your Large Reasoning Model Really Go in Breadth and Depth? • 6 items • Updated Mar 9 • 6