Scholar
Guy Amir
Google Scholar ID: CSJEObYAAAAJ
Cornell University
AI Safety
Neural Network Verification
AI Explainability
Formal Methods
Robotics
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
617
H-index
13
i10-index
17
Publications
20
Co-authors
8
list available
Contact
Email
gda42@cornell.edu
GitHub
Open ↗
LinkedIn
Open ↗
Publications
4 items
Deciding Serializability in Network Systems
arXiv.org · 2026
Cited
0
On Improving Deep Active Learning with Formal Verification
2025
Cited
0
What makes an Ensemble (Un) Interpretable?
2025
Cited
0
Shield Synthesis for LTL Modulo Theories
arXiv.org · 2024
Cited
5
Resume (English only)
Co-authors
8 total
Guy Katz
The Hebrew University of Jerusalem
Davide Corsi
University of California, Irvine
Michael Schapira
Professor of Computer Science, The Hebrew University of Jerusalem
Clark Barrett
Stanford University
David Harel
Professor of Computer Science, The Weizmann Institute
Ekaterina Komendantskaya
Professor in Computer Science, Southampton University and Heriot-Watt University, UK
Achiya Elyasaf
Assistant Professor. Software and Information System Engineering Department, Ben-Gurion University
Assaf Marron
Weizmann Institute of Science
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up