Gabriel Ebner

According to our database, Gabriel Ebner authored at least 21 papers between 2016 and 2025.

Collaborative distances:

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

2025

What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus.

Rijul Jain, Shraddha Barke, Gabriel Ebner, Md Rakib Hossain Misu, Shan Lu, Sarah Fakhoury

CoRR, August, 2025

Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE.

Tahina Ramananandro, Gabriel Ebner, Guido Martínez, Nikhil Swamy

CoRR, May, 2025

Symbolic Automata: Omega-Regularity Modulo Theories.

Margus Veanes, Thomas Ball, Gabriel Ebner, Ekaterina Zhuchko

Proc. ACM Program. Lang., 2025

PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs.

Gabriel Ebner, Guido Martínez, Aseem Rastogi, Thibault Dardinier, Megan Frisella, Tahina Ramananandro, Nikhil Swamy

Proc. ACM Program. Lang., 2025

Finiteness of Symbolic Derivatives in Lean.

Ekaterina Zhuchko, Hendrik Maarand, Margus Veanes, Gabriel Ebner

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

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

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

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

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