%0 Conference Paper %1 conf/tacas/ShiJKJHZ25 %A Shi, Zhouxing %A Jin, Qirui %A Kolter, Zico %A Jana, Suman %A Hsieh, Cho-Jui %A Zhang, Huan %B TACAS (1) %D 2025 %E Gurfinkel, Arie %E Heule, Marijn %I Springer %K dblp %P 315-335 %T Neural Network Verification with Branch-and-Bound for General Nonlinearities. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2025-1.html#ShiJKJHZ25 %V 15696 %@ 978-3-031-90643-5

@inproceedings{conf/tacas/ShiJKJHZ25, added-at = {2025-05-19T00:00:00.000+0200}, author = {Shi, Zhouxing and Jin, Qirui and Kolter, Zico and Jana, Suman and Hsieh, Cho-Jui and Zhang, Huan}, biburl = {https://www.bibsonomy.org/bibtex/2c4c0afcd8f610b3ba22a88dd763fa268/dblp}, booktitle = {TACAS (1)}, crossref = {conf/tacas/2025-1}, editor = {Gurfinkel, Arie and Heule, Marijn}, ee = {https://doi.org/10.1007/978-3-031-90643-5_17}, interhash = {5c96e6b0c70926f26ff7580f14847396}, intrahash = {c4c0afcd8f610b3ba22a88dd763fa268}, isbn = {978-3-031-90643-5}, keywords = {dblp}, pages = {315-335}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2025-05-26T07:14:33.000+0200}, title = {Neural Network Verification with Branch-and-Bound for General Nonlinearities.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2025-1.html#ShiJKJHZ25}, volume = 15696, year = 2025 }