Our Mission
Leibniz AI exists to eliminate mistakes. We build tools that don't just approximate, they prove. Using automated reasoning engines and formal methods, we ensure your legal outcomes are correct, transparent and defensible.
Harnessing formal methods to redefine trust in legal AI
Leibniz AI exists to eliminate mistakes. We build tools that don't just approximate, they prove. Using automated reasoning engines and formal methods, we ensure your legal outcomes are correct, transparent and defensible.
Alfred is more than just a legal assistant. It’s a workflow concierge that:
Alfred converts policies into SMT-based decision trees—the formal logic engines behind mission-critical systems. Unlike search tools that just retrieve, Alfred solves. Every answer comes with a human-auditable chain of reasoning.
We turn dense legal text into code that machines can compute.
We use mathematical solvers to ensure accuracy and reveal inconsistencies.
Alfred delivers answers in plain language—outcomes, reasoning, and exceptions included.
Simplify HSA, FSA, and Section 125 compliance at scale; reduce handle time and escalation.
Answer employee questions quickly with clear guidance and citations.
Deploy formal-methods clarity anywhere compliance decisions drive risk or cost.
We’re partnering with benefits administrators, compliance teams, and enterprise HR platforms to shape Alfred’s rollout.
Ruzica Piskac
Professor of Computer Science
Yale University and Leibniz AI
Scott J. Shapiro
Professor of Law and Philosophy
Yale University and Leibniz AI
Be the first to see new modules, case studies, and pilot results.