Our mission is to change the way the next generation of AI systems are built. If we are to use AI in our businesses, at doctor’s offices, on our roads, or in our homes, we need to build AI systems that companies and users can trust.
Our robustness verifier achieved the highest score at VNN-COMP'20, the first competition for certifying neural networks, outperforming teams from MIT, Oxford, UIUC, and others.
We are building the foundations of robust and trustworthy AI. Our co-founder Prof. Krause is founding chairman of the ETH AI Center and co-directs the Swiss Data Science Center. Prof. Vechev’s group has built the world’s best verifier for deep neural networks and teaches the largest public course on Reliable and Trustworthy AI.
We are leading AI professors and researchers from ETH Zurich with broad expertise in formal methods, symbolic reasoning, and machine learning. We started LatticeFlow with the goal of building the world’s first platform that enables companies to deliver robust AI models that work reliably in the wild.
We have published 50+ peer-reviewed publications in the area of robust and trustworthy AI at top-tier venues in machine learning, programming languages and security, including ICML, NeurIPS, PLDI, POPL, and S&P.
We have experience in bringing research into production and have previously built two successful ETH spin-offs acquired by PwC and the unicorn Snyk.