ShZZaM
An LLM+ATP Natural Language to Logic Translator
Motivation
A Chat with Bard
A List of
Use Cases
The
ZigZag
Loops
ShZZaM in
Action
The
Marvel
that is ShZZaM
The
Implementation
Testing with various examples ... TPTP, SUMO, MATP, PWC, ...
Is ShZZaM a
Superhero
?
The End ... Questions?
