Some already use probabilistic methods to automatically produce proofs for specifications and code they wrote manually. It’s one of the few actually useful pote

Some already use probabilistic methods to automatically produce proofs for specifications and code they wrote manually. It’s one of the few actually useful potential use cases for LLMs.