3 ms·

This should have [2021] in the title.

• cubefox 3y ago
  Or [pre-ChatGPT]. Nowadays most people would associate "automated reasoning" with language models fine-tuned for chat.