Comment on A gentle introduction to automated reasoningparentComments−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
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.