3 ms·
Except LLMs are usually really bad at checking. Perhaps if they're some day augmented by formal methods, that might change.
by Yoric 2y ago
Except LLMs are usually really bad at checking.
Perhaps if they're some day augmented by formal methods, that might change.
- QuadmasterXLII 2y agoSorry, I was unclear- my statement was supposed to be proof that LLMs are bad at checking, because the approach I listed is well known to not work
- Yoric 2y agoGot it, now it makes sense :) I may accidentally have been inspired from your message when I wrote the following piece, yesterday: https://yoric.github.io/post/formal-ai/ https://yoric.github.io/post/formal-ai/