ShZZaM

An LLM+ATP Natural Language to Logic Translator

by
Geoff Sutcliffe University of Miami, USA