Leibniz
Automated Reasoning at Scale
We're solving a fundamental problem in AI: reasoning. Current AI systems don't think, they mimic. Leibniz has brought together decades of research and expertise into a single effort because we think the time is right to make automated reasoning a reality for everyone. We're taking the best of what we've learned from symbolic methods, computational logic, and deep learning to create systems that don't just talk - they think.
If you're excited about a future for AI that is reliable, trustworthy, and logical, you're in the right place. We're located in Cambridge, UK and we're growing rapidly.