| Title: | Let a Neural Network be Your Invariant |
|---|---|
| Links: | Document as PDF |
| Authors: | Mirco Giacobbe |
| Daniel Kroening EMail | |
| Abhinandan Pal | |
| Michael Tautschnig | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{gkpt2025,
AUTHOR = { Giacobbe, Mirco
and Kroening, Daniel
and Pal, Abhinandan
and Tautschnig, Michael },
TITLE = { Let a Neural Network be Your Invariant },
BOOKTITLE = { Advances in Neural Information Processing Systems (NeurIPS) },
NOTE = { To appear. },
YEAR = { 2025 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.