Overview of Research in ML + Logic

  1. Testing, Analysis, Verification, Security and Privacy (TAVSP) of machine learning (ML) systems
  2. ML-based heuristics for solvers and provers
  3. ML + Logic for Math and Physics, AI-driven Scientific Discovery
  4. Neurosymbolic AI, Trustworthy AI
  5. ML Based Fuzzer

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.