|
|
|
|
|
|
by fulafel
1191 days ago
|
|
|
I wonder if there could be a synthesis of traditional testin g / verification / compiler technology that would help in filtering for correctness. Like property/fuzz testing that automatically checks for deviations in translated vs original by sampling the input space? Or symbolic execution that do the same. And also ask GPT to find a difference in semantics.. and verify its answer to check for hallucination. |
|
|