Gil Lederman

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 9

Top Topics

Outlier Detection

Quantified Boolean Formulas

Discrete Event Systems

Image Retrieval

Top Venues

ACM Trans. Cyber Phys. Syst.

Publications

Juan Manuel Rodriguez, Nima Tavassoli, Eliezer Levy, Gil Lederman, Dima Sivov, Matteo Lissandrini, Davide Mottin
Does the Performance of Text-to-Image Retrieval Models Generalize Beyond Captions-as-a-Query? ECIR (4) (2024)
Joseph Kampeas, Yury Nahshan, Hanoch Kremer, Gil Lederman, Shira Zaloshinski, Zheng Li, Emir Haleva
Rotation Invariant Quantization for Model Compression. CoRR (2023)
Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu, Chris J. Maddison, Roger B. Grosse, Sanjit A. Seshia, Fahiem Bacchus
Learning Branching Heuristics for Propositional Model Counting. AAAI (2021)
Marcell Vazquez-Chanlatte, Ameesh Shah, Gil Lederman, Sanjit A. Seshia
Demonstration Informed Specification Search. CoRR (2021)
Gil Lederman, Markus N. Rabe, Sanjit Seshia, Edward A. Lee
Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning. ICLR (2020)
Matthew Weber, Baihong Jin, Gil Lederman, Yasser Shoukry, Edward A. Lee, Sanjit Seshia, Alberto L. Sangiovanni-Vincentelli
Gordian: Formal Reasoning-based Outlier Detection for Secure Localization. ACM Trans. Cyber Phys. Syst. 4 (4) (2020)
Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu, Chris J. Maddison, Roger B. Grosse, Edward A. Lee, Sanjit A. Seshia, Fahiem Bacchus
Learning Branching Heuristics for Propositional Model Counting. CoRR (2020)
Gil Lederman, Markus N. Rabe, Sanjit A. Seshia
Learning Heuristics for Automated Reasoning through Deep Reinforcement Learning. CoRR (2018)
Yi-Chin Wu, Gil Lederman, Stéphane Lafortune
Enhancing opacity of stochastic discrete event systems using insertion functions. ACC (2016)