1 citations · 1 across the 1 of their papers we have counts for
3 papers
Lemmanaid: Neuro-Symbolic Lemma Conjecturing
Yousef Alhessi, Sólrún Halla Einarsdóttir, George Granberry +4
Mathematicians and computer scientists are increasingly leveraging proof assistants to formalize and check complex proofs, a task that demands substantial expertise. Can we lower t…
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…
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…