LGML: Logic Guided Machine Learning

Joseph Scott, Maysum Panju, Vijay Ganesh

We introduce Logic Guided Machine Learning (LGML), a novel approach that symbiotically combines machine learning (ML) and logic solvers with the goal of learning mathematical funct…