| A neurally-guided, parallel theorem prover M Rawson, G Reger Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019 …, 2019 | 19 | 2019 |
| lazyCoP: Lazy Paramodulation Meets Neurally Guided Search M Rawson, G Reger Automated Reasoning with Analytic Tableaux and Related Methods: 30th …, 2021 | 15 | 2021 |
| Dynamic strategy priority: Empower the strong and abandon the weak M Rawson, G Reger AITP 2018, 2018 | 15 | 2018 |
| Old or heavy? Decaying gracefully with age/weight shapes M Rawson, G Reger Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019 | 14 | 2019 |
| Vampire A Voronkov, L Kovács, G Reger, M Suda, E Kotelnikov, S Robillard, ... | 14 | 2018 |
| Directed graph networks for logical reasoning M Rawson, G Reger PAAR+ SC˛@ IJCAR, 109-119, 2020 | 11 | 2020 |
| lazyCoP 0.1 M Rawson, G Reger EasyChair Preprint, 2020 | 6 | 2020 |
| Eliminating models during model elimination M Rawson, G Reger Automated Reasoning with Analytic Tableaux and Related Methods: 30th …, 2021 | 4 | 2021 |
| Directed graph networks for logical entailment M Rawson, G Reger tech. rep., EasyChair, 2020 | 4 | 2020 |
| Vampire 4.7-SMT System Description G Reger, M Suda, A Voronkov, L Kovács, A Bhayat, B Gleiss, M Hajdu, ... | 3 | 2022 |
| Automated theorem proving, fast and slow M Rawson, G Reger EasyChair Preprint, 2021 | 3 | 2021 |
| Reinforced external guidance for theorem provers M Rawson, A Bhayat, G Reger 7th Workshop Practical Aspects Automated Reasoning, 2020 | 3 | 2020 |
| Lemmas: Generation, Selection, Application M Rawson, C Wernhard, Z Zombori, W Bibel arXiv preprint arXiv:2303.05854, 2023 | 2 | 2023 |
| Applications of Machine Learning to Automated Reasoning M Rawson PQDT-Global, 2021 | 2 | 2021 |
| Towards an efficient architecture for intelligent theorem provers M Rawson, G Reger Conference on Artificial Intelligence and Theorem Proving, 2019 | 2 | 2019 |
| A Multithreaded Vampire with Shared Persistent Grounding M Rawson, G Reger FMCAD, 280-284, 2021 | 1 | 2021 |
| Autoencoding TPTP M Rawson, G Reger Conference on Artificial Intelligence and Theorem Proving, 2020 | 1 | 2020 |
| Reinforcement-Learned Input for Saturation Provers M Rawson, G Reger WORKSHOP 2019, 13, 2019 | 1 | 2019 |
| CheckMate: Automated Game-Theoretic Security Reasoning LS Brugger, L Kovács, A Petkovic Komel, S Rain, M Rawson Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023 | | 2023 |
| Non-Classical Logics in Satisfiability Modulo Theories C Eisenhofer, R Alassaf, M Rawson, L Kovács International Conference on Automated Reasoning with Analytic Tableaux and …, 2023 | | 2023 |
Giles RegerAmazon and University of ManchesterVerified email at manchester.ac.uk
