Symbolic Checking of Statistical Solutions

The Problem

• Statistical tools (ML, LLMs, etc) are probabilistic
• Wrong answers, inconsistent answers, uninformed answers
• Well spoken lies are not truths (ask any politician)

A Solution

• This is not a new idea ...
• Translate statistical solutions to logical formalism
• Add the necessary background knowledge (axioms)
• Check the solution is a theorem
• A LOT to make this a reality
• Basis for verifiable and explainable AI
• See MathPrompter for another approach