Giles Reger

MaRDI QIDQ2075783zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
ALASCA: reasoning in quantified linear arithmetic	2023-12-13	Paper
Getting saturated with induction Lecture Notes in Computer Science	2023-08-10	Paper
Lemmaless induction in trace logic Lecture Notes in Computer Science	2023-06-02	Paper
A combinator-based superposition calculus for higher-order logic	2022-11-09	Paper
A Knuth-Bendix-like ordering for orienting combinator equations	2022-11-09	Paper
A Polymorphic Vampire Automated Reasoning	2022-11-09	Paper
Testing a saturation-based theorem prover: experiences and challenges Tests and Proofs	2022-07-01	Paper
Testing a saturation-based theorem prover: experiences and challenges Tests and Proofs	2022-07-01	Paper
\textsf{lazyCoP}: lazy paramodulation meets neurally guided search	2022-05-25	Paper
Eliminating models during model elimination	2022-05-25	Paper
Runtime verification past experiences and future projections	2022-02-16	Paper
Making theory reasoning simpler	2021-10-18	Paper
Symmetry avoidance in MACE-style finite model finding	2020-05-13	Paper
A neurally-guided, parallel theorem prover	2020-05-13	Paper
Induction in saturation-based proof search	2020-03-10	Paper
Restricted combinatory unification	2020-03-10	Paper
Old or heavy? Decaying gracefully with age/weight shapes	2020-03-10	Paper
Runtime verification logics. A language design perspective Lecture Notes in Computer Science	2020-02-24	Paper
Unification with abstraction and theory instantiation in saturation-based reasoning	2019-09-16	Paper
Selecting the selection Automated Reasoning	2016-09-05	Paper
Finding Finite Models in Multi-sorted First-Order Logic Theory and Applications of Satisfiability Testing – SAT 2016	2016-09-05	Paper
Playing with AVATAR Automated Deduction - CADE-25	2015-12-02	Paper
Cooperating proof attempts Automated Deduction - CADE-25	2015-12-02	Paper
Quantified event automata: towards expressive and efficient runtime monitors FM 2012: Formal Methods	2012-11-08	Paper

Research outcomes over time

This page was built for person: Giles Reger