Gabriel Ebner

Research Software Engineer

Publications

View by:

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming

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

2025 International Conference on Software Engineering | April 2025

Dataset (V1) - https://huggingface.co/datasets/microsoft/FStarDataSet | (V2) - https://huggingface.co/datasets/microsoft/FStarDataSet-V2

Preprint Project
A metaprogramming framework for formal verification

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

ICFP 2017 | August 2017

DOI PDF Github Project

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming

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

2025 International Conference on Software Engineering | April 2025

Dataset (V1) - https://huggingface.co/datasets/microsoft/FStarDataSet | (V2) - https://huggingface.co/datasets/microsoft/FStarDataSet-V2

Preprint Project

A metaprogramming framework for formal verification

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

ICFP 2017 | August 2017

DOI PDF Github Project
A metaprogramming framework for formal verification

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

ICFP 2017 | August 2017

DOI PDF Github Project
A metaprogramming framework for formal verification

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

ICFP 2017 | August 2017

DOI PDF Github Project

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming

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

2025 International Conference on Software Engineering | April 2025

Dataset (V1) - https://huggingface.co/datasets/microsoft/FStarDataSet | (V2) - https://huggingface.co/datasets/microsoft/FStarDataSet-V2

Preprint Project

A metaprogramming framework for formal verification

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

ICFP 2017 | August 2017

DOI PDF Github Project