Neural Model Checking — Artefacts and Benchmarks

This repository hosts the artefacts for our NeurIPS 2024 and NeurIPS 2025 papers on Neural Model Checking, along with the combined benchmark set. Each artefact includes its own detailed, artefact-specific README with setup, reproduction steps, and expected outputs.

Contents

• NeurIPS 2024 artefact: Neural Model Checking
• NeurIPS 2025 artefact: Let a Neural Network be Your Invariant
• Combined benchmark set: Extended benchmark set (circuit design only)

Citation

If you find this work useful, please cite:

NeurIPS 2024

@inproceedings{DBLP:conf/nips/GKPT24,
  author       = {Mirco Giacobbe and
                  Daniel Kroening and
                  Abhinandan Pal and
                  Michael Tautschnig},
  title        = {Neural Model Checking},
  booktitle    = {NeurIPS},
  year         = {2024}
}

NeurIPS 2025

@inproceedings{DBLP:conf/nips/GKPT25,
  author       = {Mirco Giacobbe and
                  Daniel Kroening and
                  Abhinandan Pal and
                  Michael Tautschnig},
  title        = {Let a Neural Network be Your Invariant},
  booktitle    = {NeurIPS},
  year         = {2025}
}