BibTeX record conf/mlsys/MullerS0PV21

download as .bib file

@inproceedings{DBLP:conf/mlsys/MullerS0PV21,
  author       = {Christoph M{\"{u}}ller and
                  Fran{\c{c}}ois Serre and
                  Gagandeep Singh and
                  Markus P{\"{u}}schel and
                  Martin T. Vechev},
  editor       = {Alex Smola and
                  Alex Dimakis and
                  Ion Stoica},
  title        = {Scaling Polyhedral Neural Network Verification on GPUs},
  booktitle    = {Proceedings of Machine Learning and Systems 2021, MLSys 2021, virtual,
                  April 5-9, 2021},
  publisher    = {mlsys.org},
  year         = {2021},
  url          = {https://proceedings.mlsys.org/paper\_files/paper/2021/hash/7c98f9c7ab2df90911da23f9ce72ed6e-Abstract.html},
  timestamp    = {Mon, 13 May 2024 16:08:53 +0200},
  biburl       = {https://dblp.org/rec/conf/mlsys/MullerS0PV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.