Answering Questions with ATP and LLMs

A Chat with Bard

Natural and Useful Proofs

The ATP + LLM Process

• The ShZZaM ZigZag Loops
• The Taelja Effect

Observations and Questions

• Can ShZZaM be trusted? Maybe not!
• Can ATP be trusted?
• The Cycle of Trust