Passmore, Grant

1. A Certified Proof Checker for Deep Neural Network Verification in Imandra
   2024/05/17 by Desmartin, Remi, Isac, Omri, Passmore, Grant +3 · 4 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
2. Towards a Certified Proof Checker for Deep Neural Network Verification
   2023/07/12 by Desmartin, Remi, Isac, Omri, Passmore, Grant +3 · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Programming Languages (cs.PL)