Kimi-K2 Collection Moonshot's MoE LLMs with 1 trillion parameters, exceptional on agentic intellegence • 2 items • Updated about 20 hours ago • 41
Kimina Prover Collection State-of-the-Art Models for Formal Mathematical Reasoning https://huggingface.co/blog/AI-MO/kimina-prover • 3 items • Updated 2 days ago • 7
view article Article Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models By AI-MO and 17 others • 2 days ago • 33
RoboBrain2.0 Collection RoboBrain 2.0: See Better. Think Harder. Do Smarter. • 5 items • Updated 1 day ago • 12
view article Article Reachy Mini - The Open-Source Robot for Today's and Tomorrow's AI Builders By thomwolf and 1 other • 3 days ago • 495
view article Article SmolLM3: smol, multilingual, long-context reasoner By loubnabnl and 22 others • 4 days ago • 482
Pre-Trained Policy Discriminators are General Reward Models Paper • 2507.05197 • Published 5 days ago • 33
Tar Collection Unifying Visual Understanding and Generation via Text-Aligned Representations • 5 items • Updated 10 days ago • 14
RoboRefer: Towards Spatial Referring with Reasoning in Vision-Language Models for Robotics Paper • 2506.04308 • Published Jun 4 • 42
Skywork-Reward-V2 Collection Scaling preference data curation to the extreme • 9 items • Updated 8 days ago • 17
ARIG: Autoregressive Interactive Head Generation for Real-time Conversations Paper • 2507.00472 • Published 11 days ago • 10
Audio-Sync Video Generation with Multi-Stream Temporal Control Paper • 2506.08003 • Published Jun 9 • 3
GLM-4.1V-Thinking: Towards Versatile Multimodal Reasoning with Scalable Reinforcement Learning Paper • 2507.01006 • Published 11 days ago • 179