Author:Giles Reger

Publications
Automated Theorem Proving, Fast and Slow Michael Rawson and Giles Reger EasyChair Preprint no. 4433
lazyCoP 0.1 Michael Rawson and Giles Reger EasyChair Preprint no. 3926
Directed Graph Networks for Logical Entailment Michael Rawson and Giles Reger EasyChair Preprint no. 2185
A Combinator-Based Superposition Calculus for Higher-Order Logic (Technical Report) Ahmed Bhayat and Giles Reger EasyChair Preprint no. 3192
A Knuth-Bendix-Like Ordering for Orienting Combinator Equations (Technical Report) Ahmed Bhayat and Giles Reger EasyChair Preprint no. 3191
ANDREI-60. Automated New-era Deductive Reasoning Event in Iberia Laura Kovács, Konstantin Korovin and Giles Reger (editors) EPiC Series in Computing, volume 68
Induction in Saturation-Based Proof Search Giles Reger and Andrei Voronkov EasyChair Preprint no. 826
From Parametric Trace Slicing to Rule Systems Giles Reger and David Rydeheard EasyChair Preprint no. 521
Local proofs and AVATAR Giles Reger and Martin Suda In:Vampire 2017. Proceedings of the 4th Vampire Workshop
Incremental Solving with Vampire Giles Reger and Martin Suda In:Vampire 2017. Proceedings of the 4th Vampire Workshop
Revisiting Question Answering in Vampire Giles Reger In:Vampire 2017. Proceedings of the 4th Vampire Workshop
RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools Giles Reger and Klaus Havelund (editors) Kalpa Publications in Computing, volume 3
A Report of RV-CuBES 2017 Giles Reger In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
Checkable Proofs for First-Order Theorem Proving Giles Reger and Martin Suda In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements Giles Reger and Dmitriy Traytel (editors) EPiC Series in Computing, volume 51
A Report of ARCADE 2017 Giles Reger and Dmitriy Traytel In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning Giles Reger, Martin Suda and Andrei Voronkov EasyChair Preprint no. 1
Set of Support for Theory Reasoning Giles Reger and Martin Suda In:IWIL Workshop and LPAR Short Presentations
Global Subsumption Revisited (Briefly) Giles Reger and Martin Suda In:Vampire 2016. Proceedings of the 3rd Vampire Workshop
Better Proof Output for Vampire Giles Reger In:Vampire 2016. Proceedings of the 3rd Vampire Workshop
New Techniques in Clausal Form Generation Giles Reger, Martin Suda and Andrei Voronkov In:GCAI 2016. 2nd Global Conference on Artificial Intelligence
AVATAR Modulo Theories Giles Reger, Nikolaj Bjorner, Martin Suda and Andrei Voronkov In:GCAI 2016. 2nd Global Conference on Artificial Intelligence
The Challenges of Evaluating a New Feature in Vampire Giles Reger, Martin Suda and Andrei Voronkov In:Proceedings of the 1st and 2nd Vampire Workshops
The Uses of SAT Solvers in Vampire Giles Reger and Martin Suda In:Proceedings of the 1st and 2nd Vampire Workshops

Keyphrases

asynchronous-policy, automated induction, automated reasoning⁵, automated theorem proving, Avatar⁴, AVATAR architecture, Clausal Normal Form, Clausification, combinator, combinatory, complete, connection calculus, Connection tableaux, directed acyclic graph, first-order logic⁷, first-order theorem proving, Graph Neural Network, heuristic search, higher-order², 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 Theories², Saturation Algorithms², SMT, SMT solving², superposition, superposition calculus, Superpsoition, term ordering, theorem proving⁸, theory reasoning, Vampire⁸, Z3.