3 ms·
"just running it" is an enormously absurd simplification
by krupan 1y ago
"just running it" is an enormously absurd simplification
- Herring 1y agoIf 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.