Learning Heuristics for Automated Reasoning through Deep Reinforcement Learning

  • 2019-04-12 07:23:14
  • Gil Lederman, Markus N. Rabe, Edward A. Lee, Sanjit A. Seshia
  • 0


We demonstrate how to learn efficient heuristics for automated reasoningalgorithms through deep reinforcement learning. We focus on a backtrackingsearch algorithm for quantified Boolean logics, which can already solveformulas of impressive size - up to hundreds of thousands of variables. Themain challenge is to find a representation of these formulas that lends itselfto making predictions in a scalable way. For a family of challenging problems,we learned a heuristic that solves significantly more formulas compared to theexisting handwritten heuristics.


Introduction (beta)



Conclusion (beta)