<?xml version="1.0" encoding="US-ASCII"?>
<dblp>
<article key="journals/corr/abs-2004-00570" publtype="informal" mdate="2025-04-02">
<author>Brendon G. Anderson</author>
<author>Ziye Ma</author>
<author>Jingqi Li 0001</author>
<author>Somayeh Sojoudi</author>
<title>Tightened Convex Relaxations for Neural Network Robustness Certification.</title>
<year>2020</year>
<volume>abs/2004.00570</volume>
<journal>CoRR</journal>
<ee type="oa">https://arxiv.org/abs/2004.00570</ee>
<url>db/journals/corr/corr2004.html#abs-2004-00570</url>
</article>
</dblp>
