c/AI_Coding_Agents · by bremen15@feddit.org · 127d

Using formal methods to keep LLMs on track

https://brainflow.substack.com/p/formally-verifying-the-easy-part?r=344en&triedRedirect=true

Some issues can be prevented when vibe-coding, but LLMs find a way of messing up anyway.

5 points · 1 comments · view on lemmy.world

1 Comments

bremen15@feddit.org · 1 pts · 127d

What is the best programming language that combines the features?

LLMs are good at it, there is a lot of training data to train LLMs on it.
it has good support for formal methods