| lazyCoP: Lazy Paramodulation Meets Neurally Guided Search M Rawson, G Reger Automated Reasoning with Analytic Tableaux and Related Methods: 30th …, 2021 | 24* | 2021 |
| A neurally-guided, parallel theorem prover M Rawson, G Reger Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019 …, 2019 | 22 | 2019 |
| Directed graph networks for logical reasoning M Rawson, G Reger PAAR+ SC²@ IJCAR, 109-119, 2020 | 18* | 2020 |
| Dynamic strategy priority: Empower the strong and abandon the weak M Rawson, G Reger AITP 2018, 2018 | 16 | 2018 |
| 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 |
| Vampire A Voronkov, L Kovács, G Reger, M Suda, E Kotelnikov, S Robillard, ... | 15 | 2018 |
| Lemmas: Generation, selection, application M Rawson, C Wernhard, Z Zombori, W Bibel International Conference on Automated Reasoning with Analytic Tableaux and …, 2023 | 7 | 2023 |
| Eliminating models during model elimination M Rawson, G Reger Automated Reasoning with Analytic Tableaux and Related Methods: 30th …, 2021 | 7 | 2021 |
| lazyCoP 0.1 M Rawson, G Reger EasyChair Preprint, 2020 | 6 | 2020 |
| The Rapid Software Verification Framework. P Georgiou, B Gleiss, A Bhayat, M Rawson, L Kovács, G Reger FMCAD, 255-260, 2022 | 5 | 2022 |
| Vampire 4.7-SMT System Description G Reger, M Suda, A Voronkov, L Kovács, A Bhayat, B Gleiss, M Hajdu, ... | 5 | 2022 |
| SAT-Based Subsumption Resolution R Coutelier, L Kovács, M Rawson, J Rath International Conference on Automated Deduction, 190-206, 2023 | 4 | 2023 |
| Superposition with delayed unification A Bhayat, J Schoisswohl, M Rawson International Conference on Automated Deduction, 23-40, 2023 | 4 | 2023 |
| 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 | 3 | 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 | 3 | 2023 |
| The Vampire Approach to Induction M Hajdu, L Kovacs, M Rawson, A Voronkov Practical Aspects of Automated Reasoning 2022 3201, 2022 | 3 | 2022 |
| A Multithreaded Vampire with Shared Persistent Grounding M Rawson, G Reger FMCAD, 280-284, 2021 | 3 | 2021 |
| Applications of machine learning to automated reasoning M Rawson PQDT-Global, 2021 | 3 | 2021 |
| Reinforced external guidance for theorem provers M Rawson, A Bhayat, G Reger 7th Workshop Practical Aspects Automated Reasoning, 2020 | 3 | 2020 |
| Towards an efficient architecture for intelligent theorem provers M Rawson, G Reger Conference on Artificial Intelligence and Theorem Proving, 2019 | 2 | 2019 |
Giles RegerAmazon and University of Manchester在 manchester.ac.uk 的电子邮件经过验证
