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