Krunal Kishor Patel

1. The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification
   2020/06/24 by Christian Tjandraatmadja, Ross Anderson, Tjandraatmadja, Christian +10 · 4 citations
   Computer Science · Engineering · Mathematics · #68T07 #Advanced Memory and Neural Computing #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Integrated Circuits and Semiconductor Failure Analysis #Machine Learning (cs.LG) #Machine Learning (stat.ML) #cs.LG #msc:68T07 #stat.ML
2. Explainable prediction of Qcodes for NOTAMs using column generation
   2022/08/09 by Krunal Kishor Patel, Patel, Krunal Kishor, Guy Desaulniers +5 · 1 citation
   Computer Science · Engineering · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Machine Learning and Data Classification #Maritime Navigation and Safety #Optimization and Control (math.OC)