Giles Reger

Available identifiers

Publication	Date of Publication	Type
ALASCA: reasoning in quantified linear arithmetic	2023-12-13	Paper
Getting saturated with induction	2023-08-10	Paper
Lemmaless induction in trace logic	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	2022-11-09	Paper
Testing a saturation-based theorem prover: experiences and challenges	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	2020-02-24	Paper
Unification with abstraction and theory instantiation in saturation-based reasoning	2019-09-16	Paper
Selecting the selection	2016-09-05	Paper
Finding Finite Models in Multi-sorted First-Order Logic	2016-09-05	Paper
Playing with AVATAR	2015-12-02	Paper
Cooperating proof attempts	2015-12-02	Paper
Quantified event automata: towards expressive and efficient runtime monitors	2012-11-08	Paper

This page was built for person: Giles Reger