Regular papers
Up to 8 pages of content, formatted in ICLR LaTeX style, covering full research contributions.
Machine Learning/CORE Unranked
ICLR 2026
ICLR 2026 Workshop: VerifAI-2: The Second Workshop on AI Verification in the Wild
The VerifAI Workshop @ ICLR 2026 explores the intersection of generative artificial intelligence and formal verification, aiming to bridge scale-driven AI methods with correctness-focused verification techniques. It invites research on using AI to enhance formal methods, applying formal methods to guarantee AI behavior, developing probabilistic verifiers, creating benchmarks, and designing verifiable reinforcement learning environments.
Key deadlines
Verified September 9, 2026Full paper
February 9, 2026
AoE
Workshop timeline
Submission and decisions
Full paperKey deadline
February 9, 2026 · AoE
Paper fit
Contribution paths
A strong submission should clearly identify its contribution and evaluate it appropriately.
Tiny papers
Up to 4 pages of content, designed for modest but interesting findings, works in progress, negative results, or positional papers.
Research areas in scope
01
Research Themes
Generative AI for formal methodsFormal methods for generative AIAI as verifiersDatasets and benchmarksVerifiable tasks and environments for reinforcement learning
Policies worth checking twice
- Submissions must be double-blind anonymized.
- All submissions must use the ICLR LaTeX paper format.
- Regular submissions are limited to 8 pages of content; tiny papers are limited to 4 pages.
- References and appendices may be unlimited but are not guaranteed to be read by reviewers.
- Supplementary material should only contain minor details like hyperparameters or reproducibility information.
- Papers previously published or under submission elsewhere are permitted, provided they are marked accordingly.
- Accepted papers are non-archival and will be displayed on the workshop homepage.
- All submissions must be made via OpenReview.
Official sources
Compiled from the official call for papers. The organizers’ pages remain authoritative.
Last verified September 9, 2026