Overview of Research

• Testing, Analysis, Verification, Security and Privacy (TAVSP) of machine learning (ML) systems
• ML-based heuristics for solvers and provers
• ML for math and physics
• NeuroSymbolic AI

Some of the projects we are working on include:

1. Logic Guided Machine Learning(LGML)
2. Amnesiac Machine Learning
3. xAI-GAN: Enhancing Generative Adversarial Networks via Explainable AI Systems
4. Discovering Laws of Physics via Interpretable Siamese Neural Networks
5. Logic Guided Genetic Algorithms (LGGA)
6. ML for Sequential Solvers
7. ML for Parallel Solvers

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.