Mistral AI Releases Leanstral 1.5: An Apache-2.0 Lean 4 Code Agent Model Solving 587 of 672 PutnamBench Problems⭐7

Mistral AI releases Leanstral 1.5, an Apache-2.0 Lean 4 code agent solving 587 of 672 PutnamBench problems for advanced theorem proving.

VibeThinker-3B: A 3B Dense Reasoning Model Built on Qwen2.5-Coder-3B With the Spectrum-to-Signal Post-Training Pipeline⭐8

VibeThinker-3B: a 3B dense reasoning model built on Qwen2.5-Coder-3B using the Spectrum-to-Signal pipeline for efficient, high-performance logical deduction and...