4 ms·
If you could get an LLM to check, you could just spam solutions with any assortment of models and then use your checker to pick the best.
by QuadmasterXLII 2y ago
If you could get an LLM to check, you could just spam solutions with any assortment of models and then use your checker to pick the best.
- Yoric 2y agoExcept 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/