1 citations · 2 across the 3 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
George Granberry, Wolfgang Ahrendt, Moa Johansson
This work is concerned with the generation of formal specifications from code, using Large Language Models (LLMs) in combination with symbolic methods. Concretely, in our study, th…
cs.SE2024★ 1 cited
Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods
George Granberry, Wolfgang Ahrendt, Moa Johansson
We investigate how combinations of Large Language Models (LLMs) and symbolic analyses can be used to synthesise specifications of C programs. The LLM prompts are augmented with out…