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
International Symposium on Frontiers of Combining Systems, 40-56, 2019
162019
Vampire
A Voronkov, L Kovács, G Reger, M Suda, E Kotelnikov, S Robillard, ...
142018
Dynamic strategy priority: empower the strong and abandon the weak
M Rawson, G Reger
AITP 2018, 2018
122018
Old or heavy? Decaying gracefully with age/weight shapes
M Rawson, G Reger
International Conference on Automated Deduction, 462-476, 2019
72019
lazyCoP 0.1
M Rawson, G Reger
EasyChair Preprint, 2020
62020
Directed graph networks for logical reasoning
M Rawson, G Reger
PAAR+ SC˛@ IJCAR, 109-119, 2020
62020
lazyCoP: Lazy Paramodulation Meets Neurally Guided Search
M Rawson, G Reger
International Conference on Automated Reasoning with Analytic Tableaux and …, 2021
52021
Reinforced external guidance for theorem provers
M Rawson, A Bhayat, G Reger
7th Workshop on Practical Aspects of Automated Reasoning, 2020
32020
Eliminating Models During Model Elimination
M Rawson, G Reger
International Conference on Automated Reasoning with Analytic Tableaux and …, 2021
22021
Automated theorem proving, fast and slow
M Rawson, G Reger
EasyChair Preprint, 2021
22021
Directed graph networks for logical entailment
M Rawson, G Reger
EasyChair, 2020
22020
Towards an efficient architecture for intelligent theorem provers
M Rawson, G Reger
Conference on Artificial Intelligence and Theorem Proving, 2019
22019
Autoencoding TPTP
M Rawson, G Reger
Conference on Artificial Intelligence and Theorem Proving, 2020
12020
Reinforcement-Learned Input for Saturation Provers
M Rawson, G Reger
WORKSHOP 2019, 13, 2019
12019
On Evaluating Theorem Provers
M Rawson, G Reger
Third International ARCADE (Automated Reasoning: Challenges, Applications …, 2021
2021
A Multithreaded Vampire with Shared Persistent Grounding.
M Rawson, G Reger
FMCAD, 280-284, 2021
2021
Applications of Machine Learning to Automated Reasoning
M Rawson
PQDT-Global, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–17