Author:Giles Reger

Publications
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 reasoning5, automated theorem proving, Avatar4, AVATAR architecture, Clausal Normal Form, Clausification, combinator, combinatory, complete, connection calculus, Connection tableaux, directed acyclic graph, first-order logic7, first-order theorem proving, Graph Neural Network, heuristic search, higher-order2, Interpolants, Knuth-Bendix, learned-guidance, local proofs, Logical Entailment, Mizar, parallelism, paramodulation, proof checking, proof output, proof search, quantified event automata, Question Answering, rewriting, rule systems, runtime monitoring, runtime verification, Satisfiability Modulo Theories2, Saturation Algorithms2, SMT, SMT solving2, superposition, superposition calculus, Superpsoition, term ordering, theorem proving8, theory reasoning, Vampire8, Z3.