25 citations · 37 across the 8 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.AI2025★ 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
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
Kyle Thompson, Nuno Saavedra, Pedro Carrott +6
Formal verification using proof assistants, such as Coq, enables the creation of high-quality software. However, the verification process requires significant expertise and manual…