Michael Rawson
Michael Rawson
Manchester University
Verified email at rawsons.uk - Homepage
Title
Cited by
Cited by
Year
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
102018
A neurally-guided, parallel theorem prover
M Rawson, G Reger
International Symposium on Frontiers of Combining Systems, 40-56, 2019
92019
Directed graph networks for logical reasoning
M Rawson, G Reger
PAAR+ SC˛@ IJCAR, 109-119, 2020
42020
Old or heavy? Decaying gracefully with age/weight shapes
M Rawson, G Reger
International Conference on Automated Deduction, 462-476, 2019
42019
Automated Theorem Proving, Fast and Slow
M Rawson, G Reger
EasyChair Preprint, 2021
22021
lazyCoP 0.1
M Rawson, G Reger
EasyChair Preprint, 2020
22020
Directed graph networks for logical entailment
M Rawson, G Reger
EasyChair, 2020
12020
Reinforced external guidance for theorem provers
M Rawson, A Bhayat, G Reger
PAAR, 2020
12020
Towards an efficient architecture for intelligent theorem provers
M Rawson, G Reger
AITP, 2019
12019
A Multithreaded Vampire with Shared Persistent Grounding
M Rawson, G Reger
EasyChair, 2021
2021
Autoencoding TPTP
M Rawson, G Reger
Reinforcement-Learned Input for Saturation Provers
M Rawson, G Reger
WORKSHOP 2019, 13, 0
The system can't perform the operation now. Try again later.
Articles 1–13