Snaith, Mark, Wells, Simon, "Formal dialogue and large language models.", , 2024