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.

Paper doi bibtex 2 downloads

Paper doi bibtex 2 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: 2

{"_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":2},"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":2}