Author:Michael Rawson

Publications
A Multithreaded Vampire with Shared Persistent Grounding Michael Rawson and Giles Reger EasyChair Preprint no. 5855
Automated Theorem Proving, Fast and Slow Michael Rawson and Giles Reger EasyChair Preprint no. 4433
lazyCoP 0.1 Michael Rawson and Giles Reger EasyChair Preprint no. 3926
Directed Graph Networks for Logical Entailment Michael Rawson and Giles Reger EasyChair Preprint no. 2185

Keyphrases

asynchronous-policy, automated reasoning, automated theorem proving, clause splitting, connection calculus, Connection tableaux, data race, directed acyclic graph, first-order, first-order logic, first-order theorem prover, Graph Neural Network, grounding mechanism, heuristic search, learned-guidance, Logical Entailment, Mizar, parallel theorem proving, parallelism, paramodulation, persistent grounding, Proof attempt, proof search², SAT solver, saturation-based theorem prover, shared memory, shared persistent grounding, theorem prover, thread local, Thread Local Storage.