The submission portal is now open on OpenReview.
Overview
This workshop explores the intersection of scale-driven generative artificial intelligence (AI) and the correctness-focused principles of verification.
Formal analysis tools such as theorem provers, satisfiability solvers, and execution monitoring have demonstrated success in ensuring properties of interest across a range of tasks in software development and mathematics where precise reasoning is necessary. However, these methods face scaling challenges. Recently, generative AI such as large language models (LLMs) has been explored as a scalable and adaptable option to create solutions in these settings. The effectiveness of AI in these settings increases with more compute and data, but unlike traditional formalisms, they are built around probabilistic methods – not correctness by construction.
In VerifAI-2: The Second Workshop on AI Verification in the Wild we invite papers and discussions that discuss how to bridge these two fields. See our call for papers. If you are interested in contributing, nominate yourself as a reviewer.
Speakers & Panelists
Organizers
Related Venues
- VerifAI: AI Verification in the Wild @ ICLR 2025 (VerifAI’25)
- Deep Learning for Code (DL4C)
- Large Language Models for Code (LLM4Code)
- Workshop on Mathematical Reasoning and AI (MATH-AI)
- Workshop on Formal Verification and Machine Learning (WFVML)
- Symposium on AI Verification (SAIV)
- Workshop on ML for Systems
Contact: [email protected].
Website template from https://mathai2024.github.io/.