Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods. - George Granberry; Wolfgang Ahrendt; Moa Johansson (IFM, 2024)

Towards Integrating Copiloting and Formal Methods - Building Blocks, Architecture, and Challenges. - George Granberry; Wolfgang Ahrendt; Moa Johansson (ISoLA (3), 2024)

Lemmanaid: Neuro-Symbolic Lemma Conjecturing. - Yousef Alhessi; Sólrún Halla Einarsdóttir; George Granberry; Emily First; Moa Johansson; Sorin Lerner; Nicholas Smallbone (CoRR, 2025)

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis. - George Granberry; Wolfgang Ahrendt; Moa Johansson (CoRR, 2025)