5 ms·
Verification for code is just running it. Maybe "verification" was the wrong word. The model just needs a sense of code X leads to outcome Y for a large number
by Herring 1y ago
Verification for code is just running it. Maybe "verification" was the wrong word. The model just needs a sense of code X leads to outcome Y for a large number of (high-quality) XY pairs, to learn how to navigate the space better, same as with games.
- 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.