Follow
Michael Rawson
Michael Rawson
TU Wien
Verified email at rawsons.uk - Homepage
Title
Cited by
Cited by
Year
A neurally-guided, parallel theorem prover
M Rawson, G Reger
Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019 …, 2019
202019
lazyCoP: Lazy Paramodulation Meets Neurally Guided Search
M Rawson, G Reger
Automated Reasoning with Analytic Tableaux and Related Methods: 30th …, 2021
182021
Old or heavy? Decaying gracefully with age/weight shapes
M Rawson, G Reger
Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019
152019
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, ...
142018
Directed graph networks for logical reasoning
M Rawson, G Reger
PAAR+ SC˛@ IJCAR, 109-119, 2020
122020
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
Directed graph networks for logical entailment
M Rawson, G Reger
EasyChair Preprint, 2020
42020
Vampire 4.7-SMT System Description
G Reger, M Suda, A Voronkov, L Kovács, A Bhayat, B Gleiss, M Hajdu, ...
32022
Automated theorem proving, fast and slow
M Rawson, G Reger
EasyChair Preprint, 2021
32021
Reinforced external guidance for theorem provers
M Rawson, A Bhayat, G Reger
7th Workshop Practical Aspects Automated Reasoning, 2020
32020
The Rapid Software Verification Framework.
P Georgiou, B Gleiss, A Bhayat, M Rawson, L Kovács, G Reger
FMCAD, 255-260, 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
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
12023
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
12023
SAT-based subsumption resolution
R Coutelier, L Kovács, M Rawson, J Rath
International Conference on Automated Deduction, 190-206, 2023
12023
Embedding the connection calculus in satisfiability modulo theories
C Eisenhofer, L Kovács, M Rawson
AReCCa, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–20