Remi Desmartin

1. Towards a Certified Proof Checker for Deep Neural Network Verification
   2023/07/12 by Remi Desmartin, Desmartin, Remi, Omri Isac +9 · 2 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Cryptography and Data Security #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Security and Verification in Computing