Author of the publication

The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification.

, , , , , and . NeurIPS, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Removal of Speckle Noise in Images through a Hybrid Methodology with Application in Optical Coherence Tomography (OCT) Images., , and . TENCON, page 1746-1751. IEEE, (2019)The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification., , , , , and . NeurIPS, (2020)The Cassegrainian reflector and feed system design.. ICWET, page 1095-1102. ACM, (2011)A Review to Optimize the Heat Transfer Rate and Increase the efficiency of the Cooling Tower, and . International Journal on Recent and Innovation Trends in Computing and Communication, 3 (3): 1378--1383 (March 2015)SUSAX: Context-Specific Searching in XML Documents Using Sequence., and . ICDE Workshops, page 84. IEEE Computer Society, (2006)Free-space Optics for Communications at Sea., , , , , , and . OFC, page 1-3. IEEE, (2022)Recognizing Actions in Motion Trajectories Using Deep Neural Networks., , , , , and . AIIDE, page 211-217. AAAI Press, (2016)Using Twitter for diabetes community analysis., , , , and . Netw. Model. Anal. Health Informatics Bioinform., 9 (1): 36 (2020)Revisiting column-generation-based matheuristic for learning classification trees., , and . CoRR, (2023)Explainable prediction of Qcodes for NOTAMs using column generation., , , and . J. Oper. Res. Soc., 75 (1): 173-183 (January 2024)