Overview of Research in ML + Logic

1. Testing, Analysis, Verification, Security and Privacy (TAVSP) of machine learning (ML) systems
   • CGDTest
2. ML-based heuristics for solvers and provers
   • ML for Sequential Solvers
   • ML for Parallel Solvers
   • ML-guided Algorithm Selection
3. ML + Logic for Math and Physics, AI-driven Scientific Discovery
   • MathCheck
   • Logic Guided Genetic Algorithms (LGGA)
   • Logic Guided Machine Learning (LGML)
   • Discovering Laws of Physics via Interpretable Siamese Neural Networks
4. Neurosymbolic AI, Trustworthy AI
   • xAI-GAN: Enhancing Generative Adversarial Networks via Explainable AI Systems
   • Solver + Gradient Descent Training of Deep Neural Networks
   • Amnesiac Machine Learning
5. ML Based Fuzzer
   • BanditFuzz

Waterloo ML + Logic Online Colloquium

We are currently organizing the Waterloo Machine Learning (ML) + Logic Online Colloquium which is sponsored by the Waterloo Artificial Intelligence Institute and the Waterloo Cybersecurity and Privacy Institute. As part of this, we host frequent talks by top researchers from around the world via WebEx on research topics listed above. Please visit our website for more information.