Publications
-
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem
Zhengyu Li, Curtis Bright, and Vijay Ganesh
Accepted at the 38th AAAI Conference on Artificial Intelligence (AAAI 2024), Vancouver, Canada, Feb 20-27, 2024
(code) -
BertRLFuzzer: A BERT and Reinforcement Learning based Fuzzer
Piyush Jha, Joseph Scott, Jaya Sriram Ganeshna, Mudit Singh, and Vijay Ganesh
Accepted at the 38th AAAI Conference on Artificial Intelligence (AAAI 2024), Vancouver, Canada, Feb 20-27, 2024
(code) -
A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) Conor Duggan, Zhengyu Li, Curtis Bright, and Vijay Ganesh Accepted at the 38th AAAI Conference on Artificial Intelligence (AAAI 2024), Vancouver, Canada, Feb 20-27, 2024 (code)
-
Grounding Neural Inference with Satisfiability Modulo Theories
Zifan Wang, Saranya Vijayakumar, Kaiji Lu, Vijay Ganesh, Somesh Jha, and Matt Fredrikson
Accepted at the 37th Annual Conference on Neural Information Processing Systems (NeurIPS 2023), New Orleans, Louisiana, USA, Dec 10-16, 2023
(code) -
BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning
Joseph Scott, Trishal Sudula, Hammad Rehman, Federico Mora, and Vijay Ganesh
In the Proceedings of the 24th International Symposium on Formal Methods (FM 2021), Virtual Conference, Nov 20-26, 2021
(bib entry) (abstract) -
MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers
Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, and Vijay Ganesh
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021), Virtual Conference, March 27 - Apr 1, 2021
(bib entry) (abstract) -
Novel Neural Network Repair Methods for Data Privacy and Individual Fairness
Laura Graves
In UWSpace, 2021. MASc thesis, University of Waterloo, Waterloo. -
Domain Knowledge Guided Testing and Training of Neural Networks
Vineel Nagisetty
In UWSpace, 2021. MASc thesis, University of Waterloo, Waterloo. -
Amnesiac Machine Learning
Laura Graves, Vineel Nagisetty, and Vijay Ganesh
In the Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI 2021), Virtual Conference, Feb 2-9, 2021
(bib entry) (abstract) -
xAI-GAN: Enhancing Generative Adversarial Networks via Explainable AI Systems
Vineel Nagisetty, Laura Graves, Joseph Scott, and Vijay Ganesh
In Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI 2021) - Explainable Agency in AI Workshop, Virtual Conference, Feb 2-9, 2021
(bib entry) (abstract) -
Logic Guided Genetic Algorithms
Dhananjay Ashok, Joseph Scott, Sebastian Wetzel, Maysum Panju, and Vijay Ganesh
In the Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI 2021), Virtual Conference, Feb 2-9, 2021
(bib entry) (abstract) -
Logic Guided Machine Learning (LGML)
Joseph Scott, Maysum Panju, and Vijay Ganesh
In the Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), New York City, New York, USA, Feb 7-12, 2020
(bib entry) (abstract) -
Discovering Symmetry Invariants and Conserved Quantities by Interpreting Siamese Neural Networks
Sebastian Wetzel, Roger Melko, Joseph Scott, Maysum Panju, and Vijay Ganesh
Physical Review Research (PRR 2020), Volume 2, Issue 3, Sep 2020
(bib entry) (abstract)