While I really don't have much love for the Mistral products due to being way behind even cheap open weights Chinese models such as the Qwens, DeepSeeks etc of this world, this is an interesting (possibly new) approach:https://www.heise.de/news/Leanstral-1-5-Mistrals-KI-Modell-fuer-formale-Beweise-ist-Open-Source-11355236.html / https://www.heise.de/en/news/Leanstral-1-5-Mistral-s-AI-model-for-formal-proofs-is-open-source-11355532.htmlWith the money quote being:"In addition to mathematical proofs, Mistral demonstrates a pipeline for automatic bug detection in Rust projects. The tool Aeneas translates Rust code to Lean, after which Leanstral derives correctness properties and attempts to prove or disprove them. "This goes past the very elaborated statistical parrots that LLMs are and goes into the formal verification territory. As much as I understand this, this is closer to a model checking approach than what we had before and would in theory thus even allow to check for concurrency is...
Related
Season 1 Lesson 37 Part 5 - Your First Steps in Python Python Self Keyword Oop Basics #softwaredeveloper #codingtutorial...
Season 1 Lesson 37 Part 5 - Your First Steps in Python Python Self Keyword Oop Basics #softwaredeveloper #codingtutorial #softwarengineer #learncoding #dataengineer #machinelearnin...
Setting my baseball lineup and starting to think about my upcoming football draft and now I'm wondering how AI will impa...
Setting my baseball lineup and starting to think about my upcoming football draft and now I'm wondering how AI will impact fantasy sports. I've been using Gemini for a year now to ...
"The biggest insult of suits peddling this crap is the idea that you just don't care. That you don't care if the music y...
"The biggest insult of suits peddling this crap is the idea that you just don't care. That you don't care if the music you're listening to is crap, you don't care if their games lo...