Rajesh Ranganath | Developing the mathematical foundations of explainability and using them to catch an LLM in a lie | CGSI 2025