Leanstral

Product

A model developed by Mistral focused on formal reasoning and mathematical proofs, leveraging the Lean system.

Mentioned in 1 video

Videos Mentioning Leanstral

Mistral: Voxtral TTS, Forge, Leanstral, & Mistral 4 — w/ Pavan Kumar Reddy & Guillaume Lample

Mistral: Voxtral TTS, Forge, Leanstral, & Mistral 4 — w/ Pavan Kumar Reddy & Guillaume Lample

Latent Space

A model developed by Mistral focused on formal reasoning and mathematical proofs, leveraging the Lean system.