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.
We contribute to AI ISO standards as invited members of the Swiss Association for Standardization (SNV).
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 product that enables companies to deliver trustworthy AI models that work reliably in the wild.
We have published 50+ peer-reviewed publications in the area of trustworthy AI at top-tier venues in machine learning, programming languages and security, including ICML, NeurIPS, PLDI, POPL, and S&P.
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 have experience in bringing research into production and have previously built two successful ETH spin-offs acquired by PwC and the unicorn Snyk.