Author:Giles Reger

Publications
EasyChair Preprint no. 9606
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 reasoning7, 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, linear arithmetic, local proofs, Logical Entailment, Mizar, parallel theorem proving, parallelism, paramodulation, persistent grounding, Proof attempt, proof checking, proof output, proof search3, quantified event automata, Quantified First-Order Logic, 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, SMT3, SMT solving2, superposition, superposition calculus, Superpsoition, term ordering, theorem prover2, theorem proving9, theory reasoning2, thread local, Thread Local Storage, Vampire8, Z3.