Certifiably Safe AI
Built on Reliable Mathematical Foundations
We study the foundations of deep learning and build them back up with reliable guardrails.
Applications to interpretable reasoning, efficient scientific computing, and safe AI in finance.