Verifying LLM Answers with ShZZaM and ATP
by
Geoff Sutcliffe
University of Miami, USA
Abstract