| 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 | 88 | 2020 |
| 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 | 39 | 2021 |
| Logic guided genetic algorithms D Ashok, J Scott, S Wetzel, M Panju, V Ganesh arXiv preprint arXiv:2010.11328, 2020 | 29* | 2020 |
| xai-gan: Enhancing generative adversarial networks via explainable ai systems V Nagisetty, L Graves, J Scott, V Ganesh arXiv preprint arXiv:2002.10438, 2020 | 29 | 2020 |
| 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 | 24* | 2020 |
| 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 | 23 | 2021 |
| 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 | 23 | 2017 |
| 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 | 13* | 2023 |
| LGML: Logic Guided Machine Learning J Scott, M Panju, V Ganesh Proceedings of the AAAI Conference on Artificial Intelligence 34 (10), 13909 …, 2020 | 11 | 2020 |
| Integrated genomic approaches identify major pathways and upstream regulators in late onset Alzheimer’s disease. Sci Rep 5: 12393 X Li, J Long, T He, R Belshaw, J Scott | 5 | 2015 |
| xAI-GAN: enhancing generative adversarial networks via explainable AI systems (2020) V Nagisetty, L Graves, J Scott, V Ganesh DOI: https://doi. org/10.48550/arxiv, 2002 | 5 | 2002 |
| BertRLFuzzer: A BERT and Reinforcement Learning Based Fuzzer (Student Abstract) P Jha, J Scott, JS Ganeshna, M Singh, V Ganesh Proceedings of the AAAI Conference on Artificial Intelligence 38 (21), 23521 …, 2024 | 4 | 2024 |
| BertRLFuzzer: A BERT and reinforcement learning based fuzzer P Jha, J Scott, JS Ganeshna, M Singh, V Ganesh arXiv preprint arXiv:2305.12534, 2023 | 4 | 2023 |
| Goose: A Meta-Solver for Deep Neural Network Verification. J Scott, G Pan, EB Khalil, V Ganesh SMT, 99-113, 2022 | 4 | 2022 |
| An algorithm selection approach for qf fp solvers J Scott, P Poupart, V Ganesh 17th International Workshop on Satisfiability Modulo Theories, 2019 | 3 | 2019 |
| Publisher correction: algorithm selection for SMT J Scott, A Niemetz, M Preiner, S Nejati, V Ganesh International Journal on Software Tools for Technology Transfer 25 (5-6 …, 2023 | 1 | 2023 |
| Saving Legs & Lives: the efficacy of a community-based cardiovascular rehabilitation programme versus usual care on exercise capacity and quality of life in patients who have … K Feka, P Jha, M Aust, JJ Scott, M Schaumberg, T Stanton, CD Askew, ... BMJ open 14 (12), e089203, 2024 | | 2024 |
| Meta-Solving via Machine Learning for Automated Reasoning J Scott University of Waterloo, 2024 | | 2024 |
| Algorithm selection for SMT (vol 25, pg 219, 2023) J Scott, A Niemetz, M Preiner, S Nejati, V Ganesh INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 25 (5-6 …, 2023 | | 2023 |
| Pierce: A Testing Tool for Neural Network Verification Solvers J Scott, G Pan, P Jha, EB Khalil, V Ganesh International Conference on Verified Software: Theories, Tools, and …, 2023 | | 2023 |
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USA在 gatech.edu 的电子邮件经过验证