Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2406.15540
Cited By
Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods
21 June 2024
George Granberry
Wolfgang Ahrendt
Moa Johansson
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods"
1 / 1 papers shown
Title
Baldur: Whole-Proof Generation and Repair with Large Language Models
E. First
M. Rabe
Talia Ringer
Yuriy Brun
53
90
0
08 Mar 2023
1
