Lederman, Gil

2 publications

AAAI 2021 Learning Branching Heuristics for Propositional Model Counting Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu, Chris J. Maddison, Roger B. Grosse, Sanjit A. Seshia, Fahiem Bacchus

ICLR 2020 Learning Heuristics for Quantified Boolean Formulas Through Reinforcement Learning Gil Lederman, Markus Rabe, Sanjit Seshia, Edward A. Lee