Author:Giles Reger

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