Proof Assistant Projects Collection Digesting proof assistant libraries for AI ingestion. • 84 items • Updated 9 days ago • 3
view article Article LightOnOCR-2-1B: a lightweight high-performance end-to-end OCR model family 5 days ago • 59
LightOnOCR-2 🦉 Collection LightOnOCR-2-1B: a lightweight high-performance end-to-end OCR model family • 12 items • Updated 3 days ago • 15
view article Article OpenMed: Six Months of Open-Source Medical AI and the Road Ahead 18 days ago • 7
💧 LFM2.5 Collection Collection of Instruct, Base, and Japanese LFM2.5-1.2B models. • 22 items • Updated 3 days ago • 78
Omni-Weather: Unified Multimodal Foundation Model for Weather Generation and Understanding Paper • 2512.21643 • Published about 1 month ago • 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 4 days ago • 124
view article Article Tokenization in Transformers v5: Simpler, Clearer, and More Modular +4 Dec 18, 2025 • 115
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 • 45
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
From Code Foundation Models to Agents and Applications: A Practical Guide to Code Intelligence Paper • 2511.18538 • Published Nov 23, 2025 • 294