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
A Neurally-Guided, Parallel Theorem Prover
M Rawson, G Reger
International Symposium on Frontiers of Combining Systems, 40-56, 2019
82019
Dynamic strategy priority: empower the strong and abandon the weak
M Rawson, G Reger
AITP 2018, 2018
82018
Old or Heavy? Decaying Gracefully with Age/Weight Shapes
M Rawson, G Reger
International Conference on Automated Deduction, 462-476, 2019
42019
lazyCoP 0.1
M Rawson, G Reger
EasyChair Preprint, 2020
22020
Directed Graph Networks for Logical Reasoning
M Rawson, G Reger
Practical Aspects of Automated Reasoning, 2020
22020
Directed Graph Networks for Logical Entailment
M Rawson, G Reger
EasyChair, 2020
12020
Towards an efficient architecture for intelligent theorem provers
M Rawson, G Reger
AITP, 2019
12019
Automated Theorem Proving, Fast and Slow
M Rawson, G Reger
EasyChair, 2021
2021
Reinforced External Guidance for Theorem Provers
M Rawson, A Bhayat, G Reger
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–12