Neural Networks in Imandra: Matrix Representation as a Verification Choice. - Remi Desmartin; Grant O. Passmore; Ekaterina Komendantskaya (NSV/FoMLAS@CAV, 2022)

CheckINN: Wide Range Neural Network Verification in Imandra. - Remi Desmartin; Grant O. Passmore; Ekaterina Komendantskaya; Matthew L. Daggitt (PPDP, 2022)

CheckINN: Wide Range Neural Network Verification in Imandra (Extended). - Remi Desmartin; Grant O. Passmore; Ekaterina Komendantskaya; Matthew L. Daggitt (CoRR, 2022)

Towards a Certified Proof Checker for Deep Neural Network Verification. - Remi Desmartin; Omri Isac; Grant O. Passmore; Kathrin Stark; Ekaterina Komendantskaya; Guy Katz (LOPSTR, 2023)

A Certified Proof Checker for Deep Neural Network Verification. - Remi Desmartin; Omri Isac; Ekaterina Komendantskaya; Kathrin Stark; Grant O. Passmore; Guy Katz (CoRR, 2024)