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, ...
132013
Dynamic strategy priority: empower the strong and abandon the weak
M Rawson, G Reger
AITP 2018, 2018
72018
Old or Heavy? Decaying Gracefully with Age/Weight Shapes
M Rawson, G Reger
International Conference on Automated Deduction, 462-476, 2019
42019
A Neurally-Guided, Parallel Theorem Prover
M Rawson, G Reger
International Symposium on Frontiers of Combining Systems, 40-56, 2019
32019
Towards an efficient architecture for intelligent theorem provers
M Rawson, G Reger
AITP, 2019
12019
Directed Graph Networks for Logical Entailment
M Rawson, G Reger
EasyChair, 2020
2020
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–8