There's an entire field of formal verification that LLMs can take advantage of. You can incorporate proofs with Coq or Dafny or use model checkers or TLA+ to a

There's an entire field of formal verification that LLMs can take advantage of. You can incorporate proofs with Coq or Dafny or use model checkers or TLA+ to actually verify your code. This will be required for any software where correctness matters.