Joseph Scott
Joseph Scott
Bestätigte E-Mail-Adresse bei uwaterloo.ca
Titel
Zitiert von
Zitiert von
Jahr
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
International Conference on Theory and Applications of Satisfiability …, 2017
132017
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
92020
LGML: Logic Guided Machine Learning (Student Abstract)
J Scott, M Panju, V Ganesh
Proceedings of the AAAI Conference on Artificial Intelligence 34 (10), 13909 …, 2020
22020
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, 2020
2*2020
Lgml: Logic guided machine learning
J Scott, M Panju, V Ganesh
arXiv preprint arXiv:2006.03626, 2020
12020
BanditFuzz: Fuzzing SMT solvers with reinforcement learning
J Scott, F Mora, V Ganesh
12020
xAI-GAN: Enhancing Generative Adversarial Networks via Explainable AI Systems
V Nagisetty, L Graves, J Scott, V Ganesh
arXiv e-prints, arXiv: 2002.10438, 2020
2020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–7