Gabriel Ebner

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 18

Top Topics

Sequent Calculus

Theorem Proving

Top Venues

J. Autom. Reason.

Publications

Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu K. Lahiri, Nikhil Swamy
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming. CoRR (2024)
Ekaterina Zhuchko, Margus Veanes, Gabriel Ebner
Lean Formalization of Extended Regular Expression Matching with Lookarounds. CPP (2024)
Margus Veanes, Thomas Ball, Gabriel Ebner, Olli Saarikivi
Symbolic Automata: ω-Regularity Modulo Theories. CoRR (2023)
Wojciech Nawrocki, Edward W. Ayers, Gabriel Ebner
An Extensible User Interface for Lean 4. ITP (2023)
Gabriel Ebner, Jasmin Blanchette, Sophie Tourret
Unifying Splitting. J. Autom. Reason. 67 (2) (2023)
Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, Xavier Martinet, Amaury Hayat, Gabriel Ebner, Aurélien Rodriguez, Timothée Lacroix
HyperTree Proof Search for Neural Theorem Proving. CoRR (2022)
Guillaume Lample, Timothée Lacroix, Marie-Anne Lachaux, Aurélien Rodriguez, Amaury Hayat, Thibaut Lavril, Gabriel Ebner, Xavier Martinet
HyperTree Proof Search for Neural Theorem Proving. NeurIPS (2022)
Gabriel Ebner, Jasmin Blanchette, Sophie Tourret
A Unifying Splitting Framework. CADE (2021)
Floris van Doorn, Gabriel Ebner, Robert Y. Lewis
Maintaining a Library of Formal Mathematics. CICM (2020)
Floris van Doorn, Gabriel Ebner, Robert Y. Lewis
Maintaining a Library of Formal Mathematics. CoRR (2020)
Gabriel Ebner, Stefan Hetzl, Alexander Leitsch, Giselle Reis, Daniel Weller
On the Generation of Quantified Lemmas. J. Autom. Reason. 63 (1) (2019)
Gabriel Ebner
Herbrand Constructivization for Automated Intuitionistic Theorem Proving. TABLEAUX (2019)
Gabriel Ebner, Matthias Schlaipfer
Efficient Translation of Sequent Calculus Proofs Into Natural Deduction Proofs. PAAR@FLoC (2018)
Sebastian Eberhard, Gabriel Ebner, Stefan Hetzl
Complexity of Decision Problems on Totally Rigid Acyclic Tree Grammars. DLT (2018)
Gabriel Ebner
Fast Cut-Elimination using Proof Terms: An Empirical Study. CL&C (2018)
Sebastian Eberhard, Gabriel Ebner, Stefan Hetzl
Algorithmic Compression of Finite Tree Languages by Rigid Acyclic Grammars. ACM Trans. Comput. Log. 18 (4) (2017)
Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, Leonardo de Moura
A metaprogramming framework for formal verification. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Gabriel Ebner, Stefan Hetzl, Giselle Reis, Martin Riener, Simon Wolfsteiner, Sebastian Zivota
System Description: GAPT 2.0. IJCAR (2016)