Follow
Joseph Scott
Title
Cited by
Cited by
Year
Discovering symmetry invariants and conserved quantities by interpreting siamese neural networks
SJ Wetzel, RG Melko, J Scott, M Panju, V Ganesh
Physical Review Research 2 (3), 033499, 2020
722020
MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers
J Scott, A Niemetz, M Preiner, S Nejati, V Ganesh
Tools and Algorithms for the Construction and Analysis of Systems 12652, 303, 2021
322021
Logic guided genetic algorithms
D Ashok, J Scott, S Wetzel, M Panju, V Ganesh
arXiv preprint arXiv:2010.11328, 2020
26*2020
A propagation rate based splitting heuristic for divide-and-conquer solvers
S Nejati, Z Newsham, J Scott, JH Liang, C Gebotys, P Poupart, V Ganesh
Theory and Applications of Satisfiability Testing–SAT 2017: 20th …, 2017
232017
xai-gan: Enhancing generative adversarial networks via explainable ai systems
V Nagisetty, L Graves, J Scott, V Ganesh
arXiv preprint arXiv:2002.10438, 2020
192020
Banditfuzz: A reinforcement-learning based performance fuzzer for smt solvers
J Scott, F Mora, V Ganesh
Software Verification: 12th International Conference, VSTTE 2020, and 13th …, 2020
192020
BanditFuzz: fuzzing SMT solvers with multi-agent reinforcement learning
J Scott, T Sudula, H Rehman, F Mora, V Ganesh
International Symposium on Formal Methods, 103-121, 2021
152021
LGML: Logic Guided Machine Learning
J Scott, M Panju, V Ganesh
Proceedings of the AAAI Conference on Artificial Intelligence 34 (10), 13909 …, 2020
102020
Bertrlfuzzer: A bert and reinforcement learning based fuzzer
P Jha, J Scott, JS Ganeshna, M Singh, V Ganesh
arXiv preprint arXiv:2305.12534, 2023
22023
Algorithm Selection for SMT
J Scott, A Niemetz, M Preiner, S Nejati, V Ganesh
International Journal on Software Tools for Technology Transfer, 1-21, 2023
2*2023
An algorithm selection approach for qf fp solvers
J Scott, P Poupart, V Ganesh
17th International Workshop on Satisfiability Modulo Theories, 2019
22019
Goose: A Meta-Solver for Deep Neural Network Verification.
J Scott, G Pan, EB Khalil, V Ganesh
SMT, 99-113, 2022
12022
Verifying Simple Floating-Point Programs
J Scott, JH Liang, V Ganesh
SAT COMPETITION 2018, 58, 2018
2018
Verifying Mutable Systems
J Scott
University of Waterloo, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–14