Joseph Scott
University of Waterloo
H-index: 8
North America-Canada
Top articles of Joseph Scott
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Bertrlfuzzer: A bert and reinforcement learning based fuzzer | arXiv preprint arXiv:2305.12534 | Piyush Jha Joseph Scott Jaya Sriram Ganeshna Mudit Singh Vijay Ganesh | 2023/5/21 |
Goose: A Meta-Solver for Deep Neural Network Verification. | Joseph Scott Guanting Pan Elias B Khalil Vijay Ganesh | 2022 | |
BanditFuzz: fuzzing SMT solvers with multi-agent reinforcement learning | Joseph Scott Trishal Sudula Hammad Rehman Federico Mora Vijay Ganesh | 2021 | |
MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers | Tools and Algorithms for the Construction and Analysis of Systems | Joseph Scott Aina Niemetz Mathias Preiner Saeed Nejati Vijay Ganesh | 2020 |
Discovering symmetry invariants and conserved quantities by interpreting siamese neural networks | Phys. Rev. Research | Sebastian J Wetzel Roger G Melko Joseph Scott Maysum Panju Vijay Ganesh | 2020/9/25 |
LGML: Logic Guided Machine Learning | Proceedings of the AAAI Conference on Artificial Intelligence | Joseph Scott Maysum Panju Vijay Ganesh | 2020/4/3 |
xai-gan: Enhancing generative adversarial networks via explainable ai systems | arXiv preprint arXiv:2002.10438 | Vineel Nagisetty Laura Graves Joseph Scott Vijay Ganesh | 2020/2/24 |
Banditfuzz: A reinforcement-learning based performance fuzzer for smt solvers | Joseph Scott Federico Mora Vijay Ganesh | 2020 |