Gil Lederman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2020–2024
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ECIR | Does the Performance of Text-to-Image Retrieval Models Generalize Beyond Captions-as-a-Query? | Juan Manuel Rodriguez, Nima Tavassoli, Eliezer Levy, Gil Lederman, Dima Sivov, Matteo Lissandrini, Davide Mottin |
| 2021 | AAAI | Learning Branching Heuristics for Propositional Model Counting. | Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu, Chris J. Maddison, Roger B. Grosse, Sanjit A. Seshia, Fahiem Bacchus |
| 2020 | ICLR | Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning. | Gil Lederman, Markus N. Rabe, Sanjit A. Seshia, Edward A. Lee |