Logic Guided Genetic Algorithms (Student Abstract)


  • Dhananjay Ashok University of Toronto
  • Joseph Scott University of Waterloo
  • Sebastian J. Wetzel Perimeter Institute for Theoretical Physics
  • Maysum Panju University of Waterloo
  • Vijay Ganesh University of Waterloo




Symbolic Regression, Genetic Algorithms, Constraint Driven Search, Data Augmentation, Data Efficiency


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 conjunction with the traditional MSE), with the aim of increasing both data efficiency and accuracy of symbolic regression (SR) algorithms. Our method, logic-guided genetic algorithm (LGGA), takes as input a set of labelled data points and auxiliary truths (AT) (mathematical facts known a priori about the unknown function the regressor aims to learn) and outputs a specially generated and curated dataset that can be used with any SR method. We evaluate LGGA against state-of-the-art SR tools, namely, Eureqa and TuringBot and find that using these SR tools in conjunction with LGGA results in them solving up to 30% more equations, needing only a fraction of the amount of data compared to the same tool without LGGA, i.e., resulting in up to a 61.9% improvement in data efficiency.




How to Cite

Ashok, D., Scott, J., Wetzel, S. J., Panju, M., & Ganesh, V. (2021). Logic Guided Genetic Algorithms (Student Abstract). Proceedings of the AAAI Conference on Artificial Intelligence, 35(18), 15753-15754. https://doi.org/10.1609/aaai.v35i18.17873



AAAI Student Abstract and Poster Program