3 papers
cs.NE2020
Logic Guided Genetic Algorithms
Dhananjay Ashok, Joseph Scott, Sebastian Wetzel +2
We present a novel Auxiliary Truth enhanced Genetic Algorithm (GA) that uses logical or mathematical constraints as a means of data augmentation as well as to compute loss (in conj…
cs.AI2020
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…
physics.comp-ph2020
Discovering Symmetry Invariants and Conserved Quantities by Interpreting Siamese Neural Networks
Sebastian J. Wetzel, Roger G. Melko, Joseph Scott +2
In this paper, we introduce interpretable Siamese Neural Networks (SNN) for similarity detection to the field of theoretical physics. More precisely, we apply SNNs to events in spe…