arXiv2
Search
Toggle theme
/ Date
/ Name
Search
/ Date
/ Name
"au:"Gabriel Ebner"" — arXiv2 Search
Showing 1–7 of 7 results
/ Date
/ Name
May 3, 2024
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
Apr 7, 2020
Maintaining a Library of Formal Mathematics
Oct 3, 2023
Symbolic Automata: $ω$-Regularity Modulo Theories
Aug 1, 2025
What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus
May 23, 2022
HyperTree Proof Search for Neural Theorem Proving
Oct 17, 2018
Fast Cut-Elimination using Proof Terms: An Empirical Study
May 22, 2025
Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE