Using formal methods to keep LLMs on track
2mon 12d ago by feddit.org/u/bremen15 in AI_Coding_Agents@lemmy.ml from brainflow.substack.com
Some issues can be prevented when vibe-coding, but LLMs find a way of messing up anyway.
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