A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers. - Saeed Nejati; Zack Newsham; Joseph Scott; Jia Hui Liang; Catherine H. Gebotys; Pascal Poupart; Vijay Ganesh 001 (SAT, 2017)

LGML: Logic Guided Machine Learning (Student Abstract). - Joseph Scott; Maysum Panju 001; Vijay Ganesh 001 (AAAI, 2020)

The Need for Tidiness in Energy Data Analysis. - Joseph Scott; Neal S. Wade; Johnson Fernandes (ISGT-Europe, 2020)

Abstract: BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers. - Joseph Scott; Federico Mora 002; Vijay Ganesh 001 (SMT, 2020)

Abstract: MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers. - Joseph Scott; Aina Niemetz; Mathias Preiner; Vijay Ganesh 001 (SMT, 2020)

BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers. - Joseph Scott; Federico Mora 002; Vijay Ganesh 001 (VSTTE, 2020)

LogicGAN: Logic-guided Generative Adversarial Networks. - Laura Graves; Vineel Nagisetty; Joseph Scott; Vijay Ganesh 001 (CoRR, 2020)

Discovering Symmetry Invariants and Conserved Quantities by Interpreting Siamese Neural Networks. - Sebastian Johann Wetzel; Roger G. Melko; Joseph Scott; Maysum Panju 001; Vijay Ganesh 001 (CoRR, 2020)

LGML: Logic Guided Machine Learning. - Joseph Scott; Maysum Panju 001; Vijay Ganesh 001 (CoRR, 2020)

Logic Guided Genetic Algorithms. - Dhananjay Ashok; Joseph Scott; Sebastian Johann Wetzel; Maysum Panju 001; Vijay Ganesh 001 (CoRR, 2020)

Logic Guided Genetic Algorithms (Student Abstract). - Dhananjay Ashok; Joseph Scott; Sebastian Johann Wetzel; Maysum Panju 001; Vijay Ganesh 001 (AAAI, 2021)

BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning. - Joseph Scott; Trishal Sudula; Hammad Rehman; Federico Mora 002; Vijay Ganesh 001 (FM, 2021)

MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers. - Joseph Scott; Aina Niemetz; Mathias Preiner; Saeed Nejati; Vijay Ganesh 001 (TACAS (2), 2021)

Goose: A Meta-Solver for Deep Neural Network Verification. - Joseph Scott; Guanting Pan; Elias B. Khalil; Vijay Ganesh 001 (SMT, 2022)

MachSMT: Machine Learning Driven Algorithm Selection for SMT Solvers. - Joseph Scott; Aina Niemetz; Mathias Preiner; Saeed Nejati; Vijay Ganesh 001 (Zenodo, 2022)

Pierce: A Testing Tool for Neural Network Verification Solvers. - Joseph Scott; Guanting Pan; Piyush Jha; Elias B. Khalil; Vijay Ganesh 001 (VSTTE, 2023)

BertRLFuzzer: A BERT and Reinforcement Learning based Fuzzer. - Piyush Jha; Joseph Scott; Jaya Sriram Ganeshna; Mudit Singh; Vijay Ganesh 001 (CoRR, 2023)

Algorithm selection for SMT. - Joseph Scott; Aina Niemetz; Mathias Preiner; Saeed Nejati; Vijay Ganesh 001 (Int. J. Softw. Tools Technol. Transf., 2023)

Sideffect GamePlan: Development of an alcohol and other drug serious game for high school students using a systematic and iterative user-centred game development framework. - Joanna Nicholas; Brennen Mills; Sara Hansen; Stephen J. Bright; Joseph Scott; Imogen Ridout; Jess Watson; Heather Boyd; Luke Brook; Luke Hopper (Comput. Hum. Behav., 2023)

Publisher Correction: Algorithm selection for SMT. - Joseph Scott; Aina Niemetz; Mathias Preiner; Saeed Nejati; Vijay Ganesh 001 (Int. J. Softw. Tools Technol. Transf., 2023)

BertRLFuzzer: A BERT and Reinforcement Learning Based Fuzzer (Student Abstract). - Piyush Jha; Joseph Scott; Jaya Sriram Ganeshna; Mudit Singh; Vijay Ganesh 001 (AAAI, 2024)

Meta-Solving via Machine Learning for Automated Reasoning. - Joseph Scott (2024)