Autor der Publikation

Lagrangian Decomposition for Neural Network Verification.

, , , , , , und . UAI, Volume 124 von Proceedings of Machine Learning Research, Seite 370-379. AUAI Press, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

PyTorch FSDP: Experiences on Scaling Fully Sharded Data Parallel., , , , , , , , , und 8 andere Autor(en). Proc. VLDB Endow., 16 (12): 3848-3860 (2023)PyTorch 2: Faster Machine Learning Through Dynamic Python Bytecode Transformation and Graph Compilation., , , , , , , , , und 39 andere Autor(en). ASPLOS (2), Seite 929-947. ACM, (2024)Power Consumption Analysis of Parallel Algorithms on GPUs, , , , , , und . High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS), 2014 IEEE Intl Conf on, Seite 304-311. (August 2014)Brief Industry Paper: Evaluating Robustness of Deep Learning-Based Recommendation Systems Against Hardware Errors: A Case Study., , , , , und . RTSS, Seite 468-472. IEEE, (2023)Dr. DNA: Combating Silent Data Corruptions in Deep Learning using Distribution of Neuron Activations., , , , , , und . ASPLOS (3), Seite 239-252. ACM, (2024)Efficient Linear Programming for Dense CRFs., , , , , und . CoRR, (2016)PyTorch: An Imperative Style, High-Performance Deep Learning Library, , , , , , , , , und 11 andere Autor(en). Advances in Neural Information Processing Systems 32, Curran Associates, Inc., (2019)Optimization for, and by, machine learning.. University of Oxford, UK, (2019)British Library, EThOS.Fast and Green Computing with Graphics Processing Units for Solving Sparse Linear Systems., , und . HPCC/CSS/ICESS, Seite 129-136. IEEE, (2014)Efficient Linear Programming for Dense CRFs., , , , , und . CVPR, Seite 2934-2942. IEEE Computer Society, (2017)