TY  - RPRT
TI  - A Certified Proof Checker for Deep Neural Network Verification in Imandra
AU  - Remi Desmartin
AU  - Omri Isac
AU  - Grant Passmore
AU  - Ekaterina Komendantskaya
AU  - Kathrin Stark
AU  - Guy Katz
PY  - 2025
UR  - https://arxiv.org/abs/2405.10611
ID  - 2405.10611
ER  -