Kimina Prover Collection State-of-the-Art Models for Formal Mathematical Reasoning https://huggingface.co/blog/AI-MO/kimina-prover • 3 items • Updated about 2 hours ago • 5
view article Article SmolLM3: smol, multilingual, long-context reasoner By loubnabnl and 22 others • 3 days ago • 438
view article Article Enhance Your Models in 5 Minutes with the Hugging Face Kernel Hub By drbh and 6 others • 29 days ago • 111
view article Article Adaptive Classifier: Dynamic Text Classification with Continuous Learning By codelion • 20 days ago • 12
view article Article How to optimize your data labelling project with custom interfaces By burtenshaw and 9 others • Oct 16, 2024 • 20
view article Article Post-Training Isaac GR00T N1.5 for LeRobot SO-101 Arm By nvidia and 4 others • 29 days ago • 67
AReaL: A Large-Scale Asynchronous Reinforcement Learning System for Language Reasoning Paper • 2505.24298 • Published May 30 • 26
Holo1 Collection Vision-Language Action Model for use in Surfer-H web navigation agent • 6 items • Updated 30 days ago • 48
view article Article SmolVLA: Efficient Vision-Language-Action Model trained on Lerobot Community Data By danaaubakirova and 8 others • Jun 3 • 193
view article Article Tiny Agents in Python: a MCP-powered agent in ~70 lines of code By celinah and 3 others • May 23 • 144
view article Article nanoVLM: The simplest repository to train your VLM in pure PyTorch By ariG23498 and 6 others • May 21 • 185
Cosmos-Reason1 Collection Multimodal world understanding through reasoning • 6 items • Updated 3 days ago • 32
view article Article Introducing Pivotal Token Search (PTS): Targeting Critical Decision Points in LLM Training By codelion • May 17 • 5