Author:Michael Rawson

Publications
Scaling CheckMate for Game-Theoretic Security Sophie Rain, Lea Salome Brugger, Anja Petković Komel, Laura Kovács and Michael Rawson In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Rewriting and Inductive Reasoning Márton Hajdu, Laura Kovács and Michael Rawson In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Proceedings of the 7th and 8th Vampire Workshop Laura Kovács and Michael Rawson (editors) EPiC Series in Computing, volume 99
Reducibility Constraints in Superposition Márton Hajdu, Laura Kovács, Michael Rawson and Andrei Voronkov EasyChair Preprint no. 12142
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, blockchain protocols, 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, Game-theoretic security, Graph Neural Network, grounding mechanism, heuristic search, incentive compatibility, induction², learned-guidance, linear resolution, Logical Entailment, Mizar, parallel theorem proving, parallelism, paramodulation, persistent grounding, Proof attempt, proof search², protocol verification, Reducibility constraints, redundancy, rewriting, SAT solver, saturation³, saturation-based theorem prover, Secure Protocols, security analysis, shared memory, shared persistent grounding, superposition³, theorem prover, thread local, Thread Local Storage.