Back

Mistral AI open-sources Leanstral 1.5, a 119 billion-parameter proof model

The Apache-2.0 release includes free API access and benchmark results spanning PutnamBench, FATE-H, FATE-X, and Rust code verification.

Summary

verifying reliability

Terms & Concepts

No specialized terms available for this topic.