3 ms·
I’ve actually been thinking a lot about how LLM need to bridge the gap to symbolic reasoning and was very much waiting for something like this in theory…but thi
by griomnib 2y ago
I’ve actually been thinking a lot about how LLM need to bridge the gap to symbolic reasoning and was very much waiting for something like this in theory…but this ain’t it.
Looking forward to a more serious effort.
- gremgoth 2y agoWe're adding symbolic verification to LLM-generated SQL code at http://sql.ai http://sql.ai
- griomnib 2y agoFyi went to look at your site on iOS and some animation for text you have made the text at the part of the page I was reading jump all over the place so I gave up as it was seriously annoying. Likely not the only visitor with that experience. Just a heads up.