Comment on A gentle introduction to automated reasoningparentComments−KuriousCat2yHow and why do LLMs get to eliminate symbolic/logic based reasoning?−rhelz2yI'm thinking about how LLMs like chatGPT did a complete end-run around the more historical attempts of formulating a grammar, translating English into some kind of logical form, using that to query a database, etc etc.
Comments
How and why do LLMs get to eliminate symbolic/logic based reasoning?
I'm thinking about how LLMs like chatGPT did a complete end-run around the more historical attempts of formulating a grammar, translating English into some kind of logical form, using that to query a database, etc etc.