C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Remi Desmartin
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 6
Top Topics
Matrix Representation
Fuzzy Artmap
Neural Network
Fingerprint Verification
Top Venues
CoRR
LOPSTR
PPDP
NSV/FoMLAS@CAV
</>
Publications
</>
Remi Desmartin
,
Omri Isac
,
Grant O. Passmore
,
Kathrin Stark
,
Ekaterina Komendantskaya
,
Guy Katz
Towards a Certified Proof Checker for Deep Neural Network Verification.
LOPSTR
(2023)
Remi Desmartin
,
Omri Isac
,
Grant O. Passmore
,
Kathrin Stark
,
Guy Katz
,
Ekaterina Komendantskaya
Towards a Certified Proof Checker for Deep Neural Network Verification.
CoRR
(2023)
Remi Desmartin
,
Grant O. Passmore
,
Ekaterina Komendantskaya
,
Matthew Daggit
CheckINN: Wide Range Neural Network Verification in Imandra.
PPDP
(2022)
Remi Desmartin
,
Grant O. Passmore
,
Ekaterina Komendentskaya
Neural Networks in Imandra: Matrix Representation as a Verification Choice.
NSV/FoMLAS@CAV
(2022)
Remi Desmartin
,
Grant O. Passmore
,
Ekaterina Komendantskaya
,
Matthew L. Daggitt
CheckINN: Wide Range Neural Network Verification in Imandra (Extended).
CoRR
(2022)
Remi Desmartin
,
Grant O. Passmore
,
Ekaterina Komendantskaya
Neural Networks in Imandra: Matrix Representation as a Verification Choice.
CoRR
(2022)