1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.AI2026★ 1 cited
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…
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…