Joseph Scott

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 20

Top Topics

Temporal Difference

Reinforcement Learning

High School Students

Genetic Algorithm

Top Venues

Publications

Piyush Jha, Joseph Scott, Jaya Sriram Ganeshna, Mudit Singh, Vijay Ganesh
BertRLFuzzer: A BERT and Reinforcement Learning Based Fuzzer (Student Abstract). AAAI (2024)
Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh
Algorithm selection for SMT. Int. J. Softw. Tools Technol. Transf. 25 (2) (2023)
Joseph Scott, Guanting Pan, Piyush Jha, Elias B. Khalil, Vijay Ganesh
Pierce: A Testing Tool for Neural Network Verification Solvers. VSTTE (2023)
Piyush Jha, Joseph Scott, Jaya Sriram Ganeshna, Mudit Singh, Vijay Ganesh
BertRLFuzzer: A BERT and Reinforcement Learning based Fuzzer. CoRR (2023)
Joanna Nicholas, Brennen Mills, Sara Hansen, Stephen J. Bright, Joseph Scott, Imogen Ridout, Jess Watson, Heather Boyd, Luke Brook, Luke Hopper
: Development of an alcohol and other drug serious game for high school students using a systematic and iterative user-centred game development framework. Comput. Hum. Behav. 145 (2023)
Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh
Publisher Correction: Algorithm selection for SMT. Int. J. Softw. Tools Technol. Transf. 25 (5) (2023)
Joseph Scott, Guanting Pan, Elias B. Khalil, Vijay Ganesh
Goose: A Meta-Solver for Deep Neural Network Verification. SMT (2022)
Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh
MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers. TACAS (2) (2021)
Dhananjay Ashok, Joseph Scott, Sebastian Johann Wetzel, Maysum Panju, Vijay Ganesh
Logic Guided Genetic Algorithms (Student Abstract). AAAI (2021)
Joseph Scott, Trishal Sudula, Hammad Rehman, Federico Mora, Vijay Ganesh
BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning. FM (2021)
Joseph Scott, Aina Niemetz, Mathias Preiner, Vijay Ganesh
Abstract: MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers. SMT (2020)
Sebastian Johann Wetzel, Roger G. Melko, Joseph Scott, Maysum Panju, Vijay Ganesh
Discovering Symmetry Invariants and Conserved Quantities by Interpreting Siamese Neural Networks. CoRR (2020)
Joseph Scott, Federico Mora, Vijay Ganesh
BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers. VSTTE (2020)
Joseph Scott, Maysum Panju, Vijay Ganesh
LGML: Logic Guided Machine Learning (Student Abstract). AAAI (2020)
Dhananjay Ashok, Joseph Scott, Sebastian Johann Wetzel, Maysum Panju, Vijay Ganesh
Logic Guided Genetic Algorithms. CoRR (2020)
Laura Graves, Vineel Nagisetty, Joseph Scott, Vijay Ganesh
LogicGAN: Logic-guided Generative Adversarial Networks. CoRR (2020)
Joseph Scott, Federico Mora, Vijay Ganesh
Abstract: BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers. SMT (2020)
Joseph Scott, Neal S. Wade, Johnson Fernandes
The Need for Tidiness in Energy Data Analysis. ISGT-Europe (2020)
Joseph Scott, Maysum Panju, Vijay Ganesh
LGML: Logic Guided Machine Learning. CoRR (2020)
Saeed Nejati, Zack Newsham, Joseph Scott, Jia Hui Liang, Catherine H. Gebotys, Pascal Poupart, Vijay Ganesh
A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers. SAT (2017)