Follow
Michael Rawson
Michael Rawson
TU Wien
Verified email at rawsons.uk - Homepage
Title
Cited by
Cited by
Year
lazyCoP: Lazy Paramodulation Meets Neurally Guided Search
M Rawson, G Reger
Automated Reasoning with Analytic Tableaux and Related Methods: 30th …, 2021
21*2021
A neurally-guided, parallel theorem prover
M Rawson, G Reger
Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019 …, 2019
212019
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
152018
Vampire
A Voronkov, L Kovács, G Reger, M Suda, E Kotelnikov, S Robillard, ...
152018
Old or heavy? Decaying gracefully with age/weight shapes
M Rawson, G Reger
Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019
142019
Eliminating models during model elimination
M Rawson, G Reger
Automated Reasoning with Analytic Tableaux and Related Methods: 30th …, 2021
62021
lazyCoP 0.1
M Rawson, G Reger
EasyChair Preprint, 2020
62020
Lemmas: Generation, selection, application
M Rawson, C Wernhard, Z Zombori, W Bibel
International Conference on Automated Reasoning with Analytic Tableaux and …, 2023
42023
Vampire 4.7-SMT System Description
G Reger, M Suda, A Voronkov, L Kovács, A Bhayat, B Gleiss, M Hajdu, ...
42022
Superposition with delayed unification
A Bhayat, J Schoisswohl, M Rawson
International Conference on Automated Deduction, 23-40, 2023
32023
The Rapid Software Verification Framework.
P Georgiou, B Gleiss, A Bhayat, M Rawson, L Kovács, G Reger
FMCAD, 255-260, 2022
32022
A Multithreaded Vampire with Shared Persistent Grounding
M Rawson, G Reger
FMCAD, 280-284, 2021
32021
Reinforced external guidance for theorem provers
M Rawson, A Bhayat, G Reger
7th Workshop Practical Aspects Automated Reasoning, 2020
32020
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
22023
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
22023
The Vampire Approach to Induction
M Hajdu, L Kovacs, M Rawson, A Voronkov
Practical Aspects of Automated Reasoning 2022 3201, 2022
22022
Applications of machine learning to automated reasoning
M Rawson
PQDT-Global, 2021
22021
Towards an efficient architecture for intelligent theorem provers
M Rawson, G Reger
Conference on Artificial Intelligence and Theorem Proving, 2019
22019
Rewriting and Inductive Reasoning
M Hajdu, L Kovács, M Rawson
arXiv preprint arXiv:2402.19199, 2024
12024
The system can't perform the operation now. Try again later.
Articles 1–20