ML Anthology

Ahrendt, Wolfgang

1 publications

ICMLW 2024 Specify What? a Case-Study Using GPT-4 and Formal Methods for Specification Synthesis George Granberry, Wolfgang Ahrendt, Moa Johansson