| A neurally-guided, parallel theorem prover M Rawson, G Reger Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019 …, 2019 | 21 | 2019 |
| lazyCoP: Lazy Paramodulation Meets Neurally Guided Search M Rawson, G Reger Automated Reasoning with Analytic Tableaux and Related Methods: 30th …, 2021 | 19 | 2021 |
| Old or heavy? Decaying gracefully with age/weight shapes M Rawson, G Reger Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019 | 15 | 2019 |
| Dynamic strategy priority: Empower the strong and abandon the weak M Rawson, G Reger AITP 2018, 2018 | 15 | 2018 |
| Directed graph networks for logical reasoning M Rawson, G Reger PAAR+ SC²@ IJCAR, 109-119, 2020 | 14 | 2020 |
| Vampire A Voronkov, L Kovács, G Reger, M Suda, E Kotelnikov, S Robillard, ... | 14 | 2018 |
| Eliminating models during model elimination M Rawson, G Reger Automated Reasoning with Analytic Tableaux and Related Methods: 30th …, 2021 | 6 | 2021 |
| lazyCoP 0.1 M Rawson, G Reger EasyChair Preprint, 2020 | 6 | 2020 |
| Lemmas: Generation, selection, application M Rawson, C Wernhard, Z Zombori, W Bibel International Conference on Automated Reasoning with Analytic Tableaux and …, 2023 | 4 | 2023 |
| Directed graph networks for logical entailment M Rawson, G Reger EasyChair Preprint, 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 |
| The Rapid Software Verification Framework. P Georgiou, B Gleiss, A Bhayat, M Rawson, L Kovács, G Reger FMCAD, 255-260, 2022 | 2 | 2022 |
| 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 |
| 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 | 1 | 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 | 1 | 2023 |
| SAT-based subsumption resolution R Coutelier, L Kovács, M Rawson, J Rath International Conference on Automated Deduction, 190-206, 2023 | 1 | 2023 |
| Embedding the connection calculus in satisfiability modulo theories C Eisenhofer, L Kovács, M Rawson AReCCa, 2023 | 1 | 2023 |
Giles RegerAmazon and University of ManchesterE-mail confirmado em manchester.ac.uk
