Gabriel Ebner

Identifiers

• name variant Gabriel Ebner 0.60 · backfill

Papers (6)

1. What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus cs.SE · 2025 · author #3
2. Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE cs.CR · 2025 · author #2
3. Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming cs.PL · 2024 · author #2
4. Symbolic Automata: $\omega$-Regularity Modulo Theories cs.FL · 2023 · author #3
5. HyperTree Proof Search for Neural Theorem Proving cs.CL · 2022 · author #6
6. Maintaining a Library of Formal Mathematics cs.PL · 2020 · author #2

Mentions

• 2508.02733 #3 · arxiv_oai · confidence 0.70 Gabriel Ebner
• 2505.17335 #2 · arxiv_oai · confidence 0.70 Gabriel Ebner
• 2405.01787 #2 · arxiv_oai · confidence 0.70 Gabriel Ebner
• 2310.02393 #3 · arxiv_oai · confidence 0.70 Gabriel Ebner
• 2205.11491 #6 · arxiv_oai · confidence 0.70 Gabriel Ebner
• 2004.03673 #2 · arxiv_oai · confidence 0.70 Gabriel Ebner

Frequent Coauthors

• Nikhil Swamy 2 shared papers
• Sarah Fakhoury 2 shared papers
• Amaury Hayat 1 shared papers
• Aur\'elien Rodriguez 1 shared papers
• Floris van Doorn 1 shared papers
• Guido Mart\'inez 1 shared papers
• Guillaume Lample 1 shared papers
• Margus Veanes 1 shared papers
• Marie-Anne Lachaux 1 shared papers
• Md Rakib Hossain Misu 1 shared papers
• Olli Saarikivi 1 shared papers
• Rijul Jain 1 shared papers
• Robert Y. Lewis 1 shared papers
• Saikat Chakraborty 1 shared papers
• Sakina Fatima 1 shared papers
• Shan Lu 1 shared papers
• Shraddha Barke 1 shared papers
• Shuvendu Lahiri 1 shared papers
• Siddharth Bhat 1 shared papers
• Tahina Ramananandro 1 shared papers