7 ms·
If you can do better please go ahead?
by Herring 1y ago
If you can do better please go ahead?
- sn9 1y agoThere'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.