Author:Giles Reger

Publications
EasyChair Preprint no. 5855
EasyChair Preprint no. 5000
EasyChair Preprint no. 4433
EasyChair Preprint no. 3926
EasyChair Preprint no. 2185
EasyChair Preprint no. 3192
EasyChair Preprint no. 3191
EasyChair Preprint no. 826
EasyChair Preprint no. 521
EasyChair Preprint no. 1

Keyphrases

asynchronous-policy, automated induction, automated reasoning6, automated theorem proving2, Avatar4, AVATAR architecture, Clausal Normal Form, clause splitting, Clausification, combinator, combinatory, complete, connection calculus, Connection tableaux, data race, directed acyclic graph, first-order, first-order logic9, first-order theorem prover, first-order theorem proving, gaussian variable elimination rule, Graph Neural Network, grounding mechanism, heuristic search, higher-order2, Interpolants, Knuth-Bendix, learned-guidance, local proofs, Logical Entailment, Mizar, parallel theorem proving, parallelism, paramodulation, persistent grounding, Proof attempt, proof checking, proof output, proof search3, quantified event automata, Question Answering, rewriting, rule systems, runtime monitoring, runtime verification, SAT solver, Satisfiability Modulo Theories2, Saturation Algorithms2, saturation based proof search, saturation-based theorem prover, shared memory, shared persistent grounding, SMT2, SMT solving2, superposition, superposition calculus, Superpsoition, term ordering, theorem prover2, theorem proving8, theory reasoning2, thread local, Thread Local Storage, Vampire8, Z3.