CheckINN: Wide Range Neural Network Verification in Imandra

Remi Desmartin, Grant Passmore, Ekaterina Komendantskaya, Matthew Daggit

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fingerprint

Dive into the research topics of 'CheckINN: Wide Range Neural Network Verification in Imandra'. Together they form a unique fingerprint.

INIS

Computer Science