George Granberry

According to our database, George Granberry authored at least 4 papers between 2024 and 2025.

Collaborative distances:

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

2025

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis.

George Granberry, Wolfgang Ahrendt, Moa Johansson

CoRR, April, 2025

Lemmanaid: Neuro-Symbolic Lemma Conjecturing.

Yousef Alhessi, Sólrún Halla Einarsdóttir, George Granberry, Emily First, Moa Johansson, Sorin Lerner, Nicholas Smallbone

CoRR, April, 2025

2024

Towards Integrating Copiloting and Formal Methods - Building Blocks, Architecture, and Challenges.

George Granberry, Wolfgang Ahrendt, Moa Johansson

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods.

George Granberry, Wolfgang Ahrendt, Moa Johansson

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024