Author:Giles Reger

Publications
EasyChair Preprint 9606
EasyChair Preprint 9606
EasyChair Preprint 9606
EasyChair Preprint 9606
EasyChair Preprint 9606
EasyChair Preprint 5855
EasyChair Preprint 5000
EasyChair Preprint 4433
EasyChair Preprint 4433
EasyChair Preprint 4433
EasyChair Preprint 3926
EasyChair Preprint 2185
EasyChair Preprint 2185
EasyChair Preprint 3192
EasyChair Preprint 3191
EasyChair Preprint 2185
EasyChair Preprint 2185
EasyChair Preprint 826
EasyChair Preprint 521
EasyChair Preprint 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.