ShZZaM
An LLM+ATP Natural Language to Logic Translator
Motivation
A Chat with Bard
A List of
Use Cases
The
ZigZag
Loops
The
Marvel
that is ShZZaM
ShZZaM in
Action
The
Implementation
Testing with various examples ... TPTP, SUMO, MATP, PWC, ...
Observations and Questions
LLMs know TPTP syntax!
How can ShZZaM be trusted? Is it
faking
?
The End ... Questions?
