Joseph Scott

According to our database, Joseph Scott authored at least 22 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Meta-Solving via Machine Learning for Automated Reasoning.

Joseph Scott

PhD thesis, 2024

BertRLFuzzer: A BERT and Reinforcement Learning Based Fuzzer (Student Abstract).

Piyush Jha, Joseph Scott, Jaya Sriram Ganeshna, Mudit Singh, Vijay Ganesh

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Publisher Correction: Algorithm selection for SMT.

Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh

Int. J. Softw. Tools Technol. Transf., December, 2023

<i>Sideffect GamePlan</i>: 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., August, 2023

Algorithm selection for SMT.

Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh

Int. J. Softw. Tools Technol. Transf., April, 2023

BertRLFuzzer: A BERT and Reinforcement Learning based Fuzzer.

Piyush Jha, Joseph Scott, Jaya Sriram Ganeshna, Mudit Singh, Vijay Ganesh

CoRR, 2023

Pierce: A Testing Tool for Neural Network Verification Solvers.

Joseph Scott, Guanting Pan, Piyush Jha, Elias B. Khalil, Vijay Ganesh

Proceedings of the Verified Software. Theories, Tools and Experiments, 2023

2022

MachSMT: Machine Learning Driven Algorithm Selection for SMT Solvers.

Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh

Dataset, November, 2022

Goose: A Meta-Solver for Deep Neural Network Verification.

Joseph Scott, Guanting Pan, Elias B. Khalil, Vijay Ganesh

Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), 2022

2021

MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers.

Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning.

Joseph Scott, Trishal Sudula, Hammad Rehman, Federico Mora, Vijay Ganesh

Proceedings of the Formal Methods - 24th International Symposium, 2021

Logic Guided Genetic Algorithms (Student Abstract).

Dhananjay Ashok, Joseph Scott, Sebastian Johann Wetzel, Maysum Panju, Vijay Ganesh

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Logic Guided Genetic Algorithms.

Dhananjay Ashok, Joseph Scott, Sebastian Johann Wetzel, Maysum Panju, Vijay Ganesh

CoRR, 2020

LGML: Logic Guided Machine Learning.

Joseph Scott, Maysum Panju, Vijay Ganesh

CoRR, 2020

Discovering Symmetry Invariants and Conserved Quantities by Interpreting Siamese Neural Networks.

Sebastian Johann Wetzel, Roger G. Melko, Joseph Scott, Maysum Panju, Vijay Ganesh

CoRR, 2020

LogicGAN: Logic-guided Generative Adversarial Networks.

Laura Graves, Vineel Nagisetty, Joseph Scott, Vijay Ganesh

CoRR, 2020

BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers.

Joseph Scott, Federico Mora, Vijay Ganesh

Proceedings of the Software Verification - 12th International Conference, 2020

Abstract: MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers.

Joseph Scott, Aina Niemetz, Mathias Preiner, Vijay Ganesh

Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), 2020

Abstract: BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers.

Joseph Scott, Federico Mora, Vijay Ganesh

Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), 2020

The Need for Tidiness in Energy Data Analysis.

Joseph Scott, Neal S. Wade, Johnson Fernandes

Proceedings of the IEEE PES Innovative Smart Grid Technologies Europe, 2020

LGML: Logic Guided Machine Learning (Student Abstract).

Joseph Scott, Maysum Panju, Vijay Ganesh

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2017

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

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017