BibTeX record conf/uai/BunelPDDKTK20

• > Home > conf/uai/BunelPDDKTK20

@inproceedings{DBLP:conf/uai/BunelPDDKTK20,
  author       = {Rudy Bunel and
                  Alessandro De Palma and
                  Alban Desmaison and
                  Krishnamurthy Dvijotham and
                  Pushmeet Kohli and
                  Philip H. S. Torr and
                  M. Pawan Kumar},
  editor       = {Ryan P. Adams and
                  Vibhav Gogate},
  title        = {Lagrangian Decomposition for Neural Network Verification},
  booktitle    = {Proceedings of the Thirty-Sixth Conference on Uncertainty in Artificial
                  Intelligence, {UAI} 2020, virtual online, August 3-6, 2020},
  series       = {Proceedings of Machine Learning Research},
  volume       = {124},
  pages        = {370--379},
  publisher    = {{AUAI} Press},
  year         = {2020},
  url          = {http://proceedings.mlr.press/v124/bunel20a.html},
  timestamp    = {Tue, 07 May 2024 20:09:01 +0200},
  biburl       = {https://dblp.org/rec/conf/uai/BunelPDDKTK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}