Michael Rawson
Michael Rawson
Manchester University
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
142019
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
Directed graph networks for logical reasoning
M Rawson, G Reger
PAAR+ SC˛@ IJCAR, 109-119, 2020
62020
Old or heavy? Decaying gracefully with age/weight shapes
M Rawson, G Reger
International Conference on Automated Deduction, 462-476, 2019
62019
lazyCoP 0.1
M Rawson, G Reger
EasyChair Preprint, 2020
52020
Reinforced external guidance for theorem provers
M Rawson, A Bhayat, G Reger
7th Workshop on Practical Aspects of Automated Reasoning, 2020
32020
Automated Theorem Proving, Fast and Slow
M Rawson, G Reger
EasyChair Preprint, 2021
22021
Towards an efficient architecture for intelligent theorem provers
M Rawson, G Reger
AITP, 2019
22019
lazyCoP: Lazy Paramodulation Meets Neurally Guided Search
M Rawson, G Reger
International Conference on Automated Reasoning with Analytic Tableaux and …, 2021
12021
Directed graph networks for logical entailment
M Rawson, G Reger
EasyChair, 2020
12020
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, 0
1
Eliminating Models During Model Elimination
M Rawson, G Reger
International Conference on Automated Reasoning with Analytic Tableaux and …, 2021
2021
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
CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2021, 280, 2021
2021
Applications of machine learning to automated reasoning
M Rawson
University of Manchester, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–17