We stand with Ukraine  

George Granberry

Orcid: 0009-0005-4628-5464

According to our database1, George Granberry authored at least 5 papers between 2024 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis.
[BibTeX]
[DOI]
George Granberry
,
Wolfgang Ahrendt
,
Moa Johansson
Formal Aspects Comput., June, 2026

2025
Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis.
[BibTeX]
[DOI]
George Granberry
,
Wolfgang Ahrendt
,
Moa Johansson
CoRR, April, 2025

Lemmanaid: Neuro-Symbolic Lemma Conjecturing.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
George Granberry
,
Wolfgang Ahrendt
,
Moa Johansson
Proceedings of the Integrated Formal Methods - 19th International Conference, 2024


  Loading...