Comment on A gentle introduction to automated reasoningComments−some_furry2yThis should have [2021] in the title.−cubefox2yOr [pre-ChatGPT]. Nowadays most people would associate "automated reasoning" with language models fine-tuned for chat.
Comments
This should have [2021] in the title.
Or [pre-ChatGPT]. Nowadays most people would associate "automated reasoning" with language models fine-tuned for chat.