Efficient Neural Network Analysis with Sum-of-Infeasibilities. Wu, H., Zeljić, A., Katz, G., & Barrett, C. In Fisman, D. & Rosu, G., editors, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 13243, of Lecture Notes in Computer Science, pages 143–163, April, 2022. Springer.
![Efficient Neural Network Analysis with Sum-of-Infeasibilities [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper doi bibtex 14 downloads
Paper doi bibtex 14 downloads @inproceedings{WZK+22,
author = {Haoze Wu and Aleksandar Zelji{\'c} and Guy Katz and Clark
Barrett},
editor = {Dana Fisman and Grigore Rosu},
title = {Efficient Neural Network Analysis with Sum-of-Infeasibilities},
booktitle = tacas,
series = {Lecture Notes in Computer Science},
volume = {13243},
pages = {143--163},
publisher = {Springer},
month = apr,
year = {2022},
doi = {10.1007/978-3-030-99524-9_24},
url = {http://www.cs.stanford.edu/~barrett/pubs/WZK+22.pdf}
}Downloads: 14
{"_id":"93kkvkC5FzL4FBdoY","bibbaseid":"wu-zelji-katz-barrett-efficientneuralnetworkanalysiswithsumofinfeasibilities-2022","author_short":["Wu, H.","Zeljić, A.","Katz, G.","Barrett, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Haoze"],"propositions":[],"lastnames":["Wu"],"suffixes":[]},{"firstnames":["Aleksandar"],"propositions":[],"lastnames":["Zeljić"],"suffixes":[]},{"firstnames":["Guy"],"propositions":[],"lastnames":["Katz"],"suffixes":[]},{"firstnames":["Clark"],"propositions":[],"lastnames":["Barrett"],"suffixes":[]}],"editor":[{"firstnames":["Dana"],"propositions":[],"lastnames":["Fisman"],"suffixes":[]},{"firstnames":["Grigore"],"propositions":[],"lastnames":["Rosu"],"suffixes":[]}],"title":"Efficient Neural Network Analysis with Sum-of-Infeasibilities","booktitle":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)","series":"Lecture Notes in Computer Science","volume":"13243","pages":"143–163","publisher":"Springer","month":"April","year":"2022","doi":"10.1007/978-3-030-99524-9_24","url":"http://www.cs.stanford.edu/~barrett/pubs/WZK+22.pdf","bibtex":"@inproceedings{WZK+22,\n author = {Haoze Wu and Aleksandar Zelji{\\'c} and Guy Katz and Clark\n\tBarrett},\n editor = {Dana Fisman and Grigore Rosu},\n title = {Efficient Neural Network Analysis with Sum-of-Infeasibilities},\n booktitle = tacas,\n series = {Lecture Notes in Computer Science},\n volume = {13243},\n pages = {143--163},\n publisher = {Springer},\n month = apr,\n year = {2022},\n doi = {10.1007/978-3-030-99524-9_24},\n url = {http://www.cs.stanford.edu/~barrett/pubs/WZK+22.pdf}\n}\n\n\n","author_short":["Wu, H.","Zeljić, A.","Katz, G.","Barrett, C."],"editor_short":["Fisman, D.","Rosu, G."],"key":"WZK+22","id":"WZK+22","bibbaseid":"wu-zelji-katz-barrett-efficientneuralnetworkanalysiswithsumofinfeasibilities-2022","role":"author","urls":{"Paper":"http://www.cs.stanford.edu/~barrett/pubs/WZK+22.pdf"},"metadata":{"authorlinks":{}},"downloads":14},"bibtype":"inproceedings","biburl":"http://aisafety.stanford.edu/bib/all-pubs.bib","dataSources":["gAsQhyq6KFagsX5yX","Q5m4eREZKA5kKSYST"],"keywords":[],"search_terms":["efficient","neural","network","analysis","sum","infeasibilities","wu","zeljić","katz","barrett"],"title":"Efficient Neural Network Analysis with Sum-of-Infeasibilities","year":2022,"downloads":14}