Research output per year
Research output per year
Search results
-
2024
Local vs. Global Interpretability: A Computational Complexity Perspective
Bassan, S., Amir, G. & Katz, G., 2024, In: Proceedings of Machine Learning Research. 235, p. 3133-3167 35 p.The Hebrew University of Jerusalem
Research output: Contribution to journal › Conference article › peer-review
-
2023
Tighter Abstract Queries in Neural Network Verification
Cohen, E., Elboher, Y. Y., Barrett, C. & Katz, G., 2023, In: EPiC Series in Computing. 94, p. 124-143 20 p.The Hebrew University of Jerusalem
Research output: Contribution to journal › Conference article › peer-review
Open Access -
2020
Minimal modifications of deep neural networks using verification
Goldberger, B., Adi, Y., Keshet, J. & Katz, G., 2020, In: EPiC Series in Computing. 73, p. 260-278 19 p.Bar-Ilan University, The Hebrew University of Jerusalem
Research output: Contribution to journal › Conference article › peer-review
Open Access -
2017
Towards proving the adversarial robustness of deep neural networks
Katz, G., Barrett, C., Dill, D. L., Julian, K. & Kochenderfer, M. J., 7 Sep 2017, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 257, p. 19-26 8 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
2016
Extending SMTCoq, a certified checker for SMT (extended abstract)
Ekici, B., Katz, G., Keller, C., Mebsout, A., Reynolds, A. J. & Tinelli, C., 17 Jun 2016, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 210, p. 21-29 9 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Scenario-based modeling and synthesis for reactive systems with dynamic system structure in scenario tools
Greenyer, J., Gritzner, D., Katz, G. & Marron, A., 11 Nov 2016, In: CEUR Workshop Proceedings. 1725, p. 16-23 8 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Six (im)possible things before breakfast building-blocks and design-principles for wise computing (work-in-progress report)
Marron, A., Arnon, B., Elyasaf, A., Gordon, M., Katz, G., Lapid, H., Marelly, R., Sherman, D., Szekely, S., Weiss, G. & Harel, D., 11 Nov 2016, In: CEUR Workshop Proceedings. 1725, p. 94-100 7 p.Weizmann Institute of Science, Ben-Gurion University of the Negev
Research output: Contribution to journal › Conference article › peer-review
Open Access