MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling Paper • 2606.13473 • Published Jun 11 • 94
Running on Zero Agents Featured 123 LightOnOCR 2 1B Demo 🐨 123 Extract text and layout from images or PDF documents
view article Article LightOnOCR-2-1B: a lightweight high-performance end-to-end OCR model family lightonai • Jan 19 • 102