Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 3 Good Health and Well-being -
SDG 7 Affordable and Clean Energy
Fingerprint
Dive into the research topics where Guy Katz is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Abstraction-Based Proof Production in Formal Verification of Neural Networks (Extended Abstract)
Elboher, Y. Y., Isac, O., Katz, G., Ladner, T. & Wu, H., 2026, AI Verification - 2nd International Symposium, SAIV 2025, Proceedings. Giacobbe, M. & Lukina, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 203-220 18 p. (Lecture Notes in Computer Science; vol. 15947 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Enhancing Scenario-Based Modeling Using Large Language Models
Harel, D., Katz, G., Marron, A. & Szekely, S., 2026, Model-Based Software and Systems Engineering - 12th International Conference, MODELSWARD 2024, Revised Selected Papers. José Domínguez Mayo, F., Ferreira Pires, L. & Seidewitz, E. (eds.). Springer Science and Business Media Deutschland GmbH, p. 43-68 26 p. (Communications in Computer and Information Science; vol. 2547 CCIS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
NLP verification: towards a general methodology for certifying robustness
Casadio, M., Dinkar, T., Komendantskaya, E., Arnaboldi, L., Daggitt, M. L., Isac, O., Katz, G., Rieser, V. & Lemon, O., 1 Feb 2026, In: European Journal of Applied Mathematics. 37, 1, p. 180-237 58 p.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations -
Proof Minimization in Neural Network Verification
Isac, O., Refaeli, I., Wu, H., Barrett, C. & Katz, G., 2026, Verification, Model Checking, and Abstract Interpretation - 27th International Conference, VMCAI 2026, Proceedings. Chen, Y.-F., Jensen, T. & Lengál, O. (eds.). Springer Science and Business Media Deutschland GmbH, p. 99-124 26 p. (Lecture Notes in Computer Science; vol. 16417 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Statistical Runtime Verification for LLMs via Robustness Estimation
Levy, N., Ashrov, A. & Katz, G., 2026, Runtime Verification - 25th International Conference, RV 2025, Proceedings. Könighofer, B. & Torfah, H. (eds.). Springer Science and Business Media Deutschland GmbH, p. 457-476 20 p. (Lecture Notes in Computer Science; vol. 16087 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations