Author:Giles Reger

Publications
EasyChair Preprint no. 2185
EasyChair Preprint no. 826
EasyChair Preprint no. 521
EasyChair Preprint no. 1

Keyphrases

automated induction, automated reasoning5, automated theorem proving, Avatar4, AVATAR architecture, Clausal Normal Form, Clausification, directed acyclic graph, first-order logic7, first-order theorem proving, Graph Neural Network, Interpolants, local proofs, Logical Entailment, proof checking, proof output, quantified event automata, Question Answering, rule systems, runtime monitoring, runtime verification, Satisfiability Modulo Theories2, Saturation Algorithms2, SMT, SMT solving2, superposition calculus, theorem proving8, theory reasoning, Vampire8, Z3.