"AI will be integrated into every surface area we interact with in our world. When that is the case, we should know which models we are interacting with."



Frontier-scale AI models stand as the most complex machine intelligences ever produced. They are already incredibly powerful and capable of doing things we've not yet imagined. However, to get the most we can from these systems, we need to understand how they interface with the world, with each other, how they work internally, and under what conditions. As we understand these frontier models at a deeper level, we can build the necessary tools to make sure we are using them under the best possible conditions.



VAIL is pioneering the discipline of Model Informatics to learn about models as complex information systems. Just as bioinformatics revolutionized how we handle genetic data, Model Informatics is transforming how we intelligently interact with artificial intelligence.



As we uncover important properties and ground truths about AI systems, we build and distribute the tools needed to verify these properties to ensure we are using AI as designed.