ShZZaM: An LLM+ATP Natural Language to Logic Translator
Abstract
This talk describes ShZZaM, a tool that translates natural language to typed first-order logic, using Large Language Models (LLMs) and Automated Theorem Proving (ATP).