CISPO

Mistral AI released Robostral Navigate, an 8B model for robotic navigation using a single RGB camera, achieving 76.6% success on R2R-CE validation unseen. The model uses a pointing method to predict m…

Leanstral 1.5, a free Apache-2.0 licensed model with 6B active parameters, delivers major performance upgrades in formal verification, saturating miniF2F, solving 587/672 PutnamBench problems, and ach…

FeynRL, an algorithm-first framework for post-training and fine-tuning large models, has been released as an open-source tool supporting supervised fine-tuning, preference learning, and reinforcement …