ShZZaM: An LLM+ATP Natural Language to Logic Translator

Geoff Sutcliffe; Danial Haroon

doi:10.32473/flairs.39.1.141689

ShZZaM

An LLM+ATP Natural Language to Logic Translator

Authors

Geoff Sutcliffe University of Miami https://orcid.org/0000-0001-9120-3927
Danial Haroon University of Miami https://orcid.org/0009-0000-9007-0894

DOI:

https://doi.org/10.32473/flairs.39.1.141689

Abstract

This paper describes ShZZaM, a tool that translates natural language to typed first-order logic, using Large Language Models (LLMs) and Automated Theorem Proving (ATP).

Downloads

Published

06-05-2026

How to Cite

Sutcliffe, G., & Haroon, D. (2026). ShZZaM: An LLM+ATP Natural Language to Logic Translator. The International FLAIRS Conference Proceedings, 39(1). https://doi.org/10.32473/flairs.39.1.141689