Mistral releases Leanstral 1.5: formal verification with 6 billion active parameters
Mistral has released Leanstral 1.5, an Apache 2.0-licensed LLM focused on formal verification. With only 6 billion active parameters out of 119 billion total, it achieves state-of-the-art results on miniF2F, PutnamBench and FATE, and discovered 5 bug...