Mistral boasts code-proofing agent offers champagne performance on abudget bière
Posted in
業界新聞
Formal code verification and testing offer a way around AI blind spots
Your AI may need AI to oversee its work. Gallic AI biz Mistral is leaning into making AI code generation more reliable with Leanstral, a coding agent for proofs constructed using the open sourceLeanprogramming language.…
Lean Programming Language
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
lean-lang.org
0 Likes
0 Boosts
Comments (0)