Author:Michael Rawson

Publications
CheckMate: Automated Game-Theoretic Security Reasoning Lea Salome Brugger, Laura Kovács, Anja Petković Komel, Sophie Rain and Michael Rawson EasyChair Preprint no. 10853
Linear Refutation and Clause Splitting Michael Rawson EasyChair Preprint no. 9423
The Vampire Approach to Induction Márton Hajdu, Laura Kovács, Michael Rawson and Andrei Voronkov EasyChair Preprint no. 9217
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, Boolean satisfiability, clause splitting², connection calculus, Connection tableaux, data race, Decentralized Protocols, directed acyclic graph, first-order, first-order logic, first-order theorem prover, first-order theorem proving, game theory, Graph Neural Network, grounding mechanism, heuristic search, induction, learned-guidance, linear resolution, Logical Entailment, Mizar, parallel theorem proving, parallelism, paramodulation, persistent grounding, Proof attempt, proof search², SAT solver, saturation, saturation-based theorem prover, Secure Protocols, security analysis, shared memory, shared persistent grounding, superposition, theorem prover, thread local, Thread Local Storage.