Grammar Filtering For Syntax-Guided Synthesis

no code implementations • 7 Feb 2020 • Kairo Morton, William Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito

By preprocessing SyGuS PBE problems with a neural network, we can use a data driven approach to reduce the size of the search space, then allow automated reasoning-based solvers to more quickly find a solution analytically.

BIG-bench Machine Learning