ML Anthology

Neural Network Branching for Neural Network Verification

Jingyue Lu, M. Pawan Kumar
ICLR 2020
/iclr/2020/lu2020iclr-neural/
PDF ICLR Semantic Scholar

Cite

Text

Lu and Kumar. "Neural Network Branching for Neural Network Verification." International Conference on Learning Representations, 2020.

Markdown

[Lu and Kumar. "Neural Network Branching for Neural Network Verification." International Conference on Learning Representations, 2020.](https://mlanthology.org/iclr/2020/lu2020iclr-neural/)

BibTeX

@inproceedings{lu2020iclr-neural,
  title     = {{Neural Network Branching for Neural Network Verification}},
  author    = {Lu, Jingyue and Kumar, M. Pawan},
  booktitle = {International Conference on Learning Representations},
  year      = {2020},
  url       = {https://mlanthology.org/iclr/2020/lu2020iclr-neural/}
}