Search Results for author: Edward A. Lee

Found 3 papers, 1 papers with code

Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning

no code implementations ICLR 2020 Gil Lederman, Markus Rabe, Sanjit Seshia, Edward A. Lee

We demonstrate how to learn efficient heuristics for automated reasoning algorithms for quantified Boolean formulas through deep reinforcement learning.

reinforcement-learning

Learning Heuristics for Automated Reasoning through Reinforcement Learning

no code implementations ICLR 2019 Gil Lederman, Markus N. Rabe, Edward A. Lee, Sanjit A. Seshia

We demonstrate how to learn efficient heuristics for automated reasoning algorithms through deep reinforcement learning.

reinforcement-learning

Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning

1 code implementation20 Jul 2018 Gil Lederman, Markus N. Rabe, Edward A. Lee, Sanjit A. Seshia

We demonstrate how to learn efficient heuristics for automated reasoning algorithms for quantified Boolean formulas through deep reinforcement learning.

reinforcement-learning

Cannot find the paper you are looking for? You can Submit a new open access paper.