Gabriel Ebner

According to our database, Gabriel Ebner authored at least 16 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming.

Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu K. Lahiri, Nikhil Swamy

CoRR, 2024

Lean Formalization of Extended Regular Expression Matching with Lookarounds.

Ekaterina Zhuchko, Margus Veanes, Gabriel Ebner

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2023

Unifying Splitting.

Gabriel Ebner, Jasmin Blanchette, Sophie Tourret

J. Autom. Reason., June, 2023

Symbolic Automata: ω-Regularity Modulo Theories.

Margus Veanes, Thomas Ball, Gabriel Ebner, Olli Saarikivi

CoRR, 2023

An Extensible User Interface for Lean 4.

Wojciech Nawrocki, Edward W. Ayers, Gabriel Ebner

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

HyperTree Proof Search for Neural Theorem Proving.

Guillaume Lample, Timothée Lacroix, Marie-Anne Lachaux, Aurélien Rodriguez, Amaury Hayat, Thibaut Lavril, Gabriel Ebner, Xavier Martinet

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

2021

A Unifying Splitting Framework.

Gabriel Ebner, Jasmin Blanchette, Sophie Tourret

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Maintaining a Library of Formal Mathematics.

Floris van Doorn, Gabriel Ebner, Robert Y. Lewis

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

2019

On the Generation of Quantified Lemmas.

Gabriel Ebner, Stefan Hetzl, Alexander Leitsch, Giselle Reis, Daniel Weller

J. Autom. Reason., 2019

Herbrand Constructivization for Automated Intuitionistic Theorem Proving.

Gabriel Ebner

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

2018

Fast Cut-Elimination using Proof Terms: An Empirical Study.

Gabriel Ebner

Proceedings of the Proceedings Seventh International Workshop on Classical Logic and Computation, 2018

Complexity of Decision Problems on Totally Rigid Acyclic Tree Grammars.

Sebastian Eberhard, Gabriel Ebner, Stefan Hetzl

Proceedings of the Developments in Language Theory - 22nd International Conference, 2018

Efficient Translation of Sequent Calculus Proofs Into Natural Deduction Proofs.

Gabriel Ebner, Matthias Schlaipfer

Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), 2018

2017

Algorithmic Compression of Finite Tree Languages by Rigid Acyclic Grammars.

Sebastian Eberhard, Gabriel Ebner, Stefan Hetzl

ACM Trans. Comput. Log., 2017

A metaprogramming framework for formal verification.

Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, Leonardo de Moura

Proc. ACM Program. Lang., 2017

2016

System Description: GAPT 2.0.

Gabriel Ebner, Stefan Hetzl, Giselle Reis, Martin Riener, Simon Wolfsteiner, Sebastian Zivota

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016