Publications

(2021). Geometric Path Enumeration for Equivalence Verification of Neural Networks. In ICTAI 2021.

PDF Code Experiments DOI / IEEE Xplore

(2020). An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors.

PDF Project