3 ms·
ChatGPT is basically the opposite of formal verification... It itself is not verified, and its results are so inaccurate that you need to verify them anyway.
by stfutechbros 3y ago
ChatGPT is basically the opposite of formal verification...
It itself is not verified, and its results are so inaccurate that you need to verify them anyway.