Proof Assistant Projects Collection Digesting proof assistant libraries for AI ingestion. • 84 items • Updated 13 days ago • 3
view article Article LightOnOCR-2-1B: a lightweight high-performance end-to-end OCR model family 9 days ago • 68
LightOnOCR-2 🦉 Collection LightOnOCR-2-1B: a lightweight high-performance end-to-end OCR model family • 12 items • Updated 7 days ago • 19
view article Article OpenMed: Six Months of Open-Source Medical AI and the Road Ahead 22 days ago • 9
💧 LFM2.5 Collection Collection of Instruct, Base, and Japanese LFM2.5-1.2B models. • 22 items • Updated 2 days ago • 81
Omni-Weather: Unified Multimodal Foundation Model for Weather Generation and Understanding Paper • 2512.21643 • Published Dec 25, 2025 • 13
view article Article Aligning to What? Rethinking Agent Generalization in MiniMax M2 Oct 30, 2025 • 42
NVIDIA Nemotron v3 Collection Open, Production-ready Enterprise Models • 7 items • Updated 8 days ago • 128
view article Article Tokenization in Transformers v5: Simpler, Clearer, and More Modular +4 Dec 18, 2025 • 119
Olmo 3.1 Collection The latest members of the Olmo 3 family: another 3 weeks of RL for 32B Think, the 32B Instruct model, large post-training research datasets... • 9 items • Updated Dec 23, 2025 • 47
view article Article DeepFabric: Generate, Train and Evaluate with Datasets curated for Model Behavior Training. Dec 4, 2025 • 9
view article Article Building Jobly: Semantic Job Matching with RAG and Vector Embeddings Nov 28, 2025 • 12