Call for Papers

We invite paper submissions to the workshop on AI for Verifiable Coding: Human-Aligned Collaborative Agents for Autoformalization, Proofs, and Heuristics (VERICOEGEN) co-located with the NeurIPS 2026, the Conference on Neural Information Processing Systems, at Atlanta, USA.

Topics will include, but are not limited to:

Neuro-symbolic architectures: LLM agents integrated with proof assistants, model checkers, solvers, static analyzers, and compiler feedback; verifier-guided training and inference.
Specification generation and quality: autoformalization, specification mining, ambiguity and inconsistency detection, property-based validation, and human-guided refinement.
Proof search and engineering: premise selection, tactic learning, proof repair, maintenance, scalability, and compatibility across theorem-proving systems.
Program verification and repair: deductive verification, model checking, symbolic execution, abstract interpretation, testing, debugging, certified repair, equivalence checking, and behavior preservation.
Verification applications: security, smart contracts, memory safety, supply chains, access-control policies, network configurations, infrastructure-as-code, and distributed protocols.
Verification of and for AI: formal validation of generated outputs, runtime monitoring of agents, verified guardrails, and constrained tool use.
Solver and trusted infrastructure: scalable SAT/SMT solving, learned heuristics, proof certificates, independent checking, trusted computing bases, and verifier validation.
Human-centered verification: mixed-initiative interfaces, explanations, trust calibration, and accessibility for developers without formal-methods expertise.
Benchmarks and deployment: datasets and metrics for end-to-end guarantees, scalability studies, reproducibility, negative results, and industrial experience.

Tentative important dates (AoE time):

Abstract Submission Deadline: September 11, 2026
Paper Submission Deadline: September 13, 2026
Review Deadline: September 27, 2026
Acceptance/Rejection Notification Date: September 29, 2026
Camera-Ready Submission: October 14, 2026
Workshop Date: December 11/12 (Sydney), or December 12/13 (Paris, Atlanta)

Due to the expected high volume of submissions and a relatively limited pool of qualified reviewers, this workshop may use LLM-assisted reviewing to supplement human review. Every submission is guaranteed at least three reviews, at least one of which will be written by a human; your submission may therefore receive 0, 1, or 2 LLM reviews. We will prioritize recruiting human reviewers and distribute them evenly across submissions. LLM reviews will be generated using the paper review feature of AI-Scientist by Sakana AI with a base LLM comparable to Opus 5 or GPT-5.6 Sol.

At submission time, authors will be required to acknowledge that submissions may receive reviews generated by an LLM.

Awards

Among exceptional research papers with high review scores, we will select one best paper award and two runner-ups.

Submission policy

Submission Format: use the workshop template neurips_2026_vericode_workshop.tex with neurips_2026_vericode.sty — Latex Template (Overleaf). Tweaking the style files, margins, or font sizes is grounds for desk rejection.

Submission portal: OpenReview.

Our submission policy is inherited from NeurIPS 2026.

Submissions: The main text of a submitted paper must be at least four pages long and no more than eight pages, including all figures and tables. Additional pages containing references don’t count as content pages.
- The main text and references may be followed by technical appendices, for which there is no page limit.
- The maximum file size for a full submission, which includes technical appendices, is 50MB.
Supplementary material: While all technical appendices should be included as part of the main paper submission PDF, authors may submit up to 100MB of supplementary material, such as data, or source code in a ZIP format. Supplementary material should be material created by the authors that directly supports the submission content. Like submissions, supplementary material must be anonymized. Looking at supplementary material is at the discretion of the reviewers.
- We encourage authors to upload their code and data as part of their supplementary material in order to help reviewers assess the quality of the work. Check NeurIPS 2026 Author Instructions, as well as code submission guidelines and templates for further details.
Use of Large Language Models (LLMs): We welcome authors to use any tool that is suitable for preparing high-quality papers and research. However, we ask authors to keep in mind two important criteria. First, we expect papers to fully describe their methodology, and any tool that is important to that methodology, including the use of LLMs, should be described also. For example, authors should mention tools (including LLMs) that were used for data processing or filtering, visualization, facilitating or running experiments, and proving theorems. It may also be advisable to describe the use of LLMs in implementing the method (if this corresponds to an important, original, or non-standard component of the approach). Second, authors are responsible for the entire content of the paper, including all text and figures, so while authors are welcome to use any tool they wish for writing the paper, they must ensure that all text is correct and original.
Double-blind reviewing: All submissions must be anonymized and may not contain any identifying information that may violate the double-blind reviewing policy. This policy applies to any supplementary or linked material as well, including code. If you are including links to any external material, it is your responsibility to guarantee anonymous browsing. Please do not include acknowledgements at submission time. If you need to cite one of your own papers, you should do so with adequate anonymization to preserve double-blind reviewing. For instance, write “In the previous work of Smith et al. [1]...” rather than “In our previous work [1]...”. Any papers found to be violating this policy will be rejected.
Anti-collusion: We do not tolerate any collusion whereby authors secretly cooperate with reviewers, ACs or SACs to obtain favorable reviews.
Publication of accepted submissions: Reviews, meta-reviews, and any discussion with the authors will be made public for accepted papers (but reviewer, area chair, and senior area chair identities will remain anonymous). Camera-ready papers will be due in advance of the conference. All camera-ready papers must include a funding disclosure. We strongly encourage accompanying code and data to be submitted with accepted papers when appropriate, as per the code submission policy. Authors will be allowed to make minor changes for a short period of time after the conference.
Posting papers on preprint servers like ArXiv is permitted.
All submissions must represent original work and not previously published elsewhere.
Submissions are only accepted in written English.
All papers must be proofread by the authors before submission.
This workshop is non-archival; even though all accepted papers will be available on OpenReview, there are no formally-published proceedings.

Contact