Author

Gabriel Ebner

h-index 2 View on Semantic Scholar

We have 2 of 6 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#machine learning Preprint Oct 2026

RESOLVE: Language-Agnostic Validation of GPU Kernels Through Testing, Reduction, and Proof

AI systems can now write and optimize production GPU kernels, but validating them remains an important challenge. Evaluating the kernel on a few random inputs and checking that its outputs match a trusted reference kernel within numeric tolerances is not sufficient: races can cause nondeterministic behavior that fails...

Ashkan Vedadi Gargary, Guido Martínez, S. Burckhardt et al. · 0 citations

Review Open access Aug 2026

Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience Report)

An anecdotal account of AI agents, equipped with a CLI and a proof assistant, producing thousands of lines of machine-checked code, and the role of the human expert, whose contribution reduces to providing natural-language problem descriptions, reviewing auto-generated specifications, and occasionally supplying a key i...

Eleftherios Ioannidis, Nikhil Swamy, Gabriel Ebner et al. · Proc. ACM Program. Lang. · 1 citation