Talk is Cheap, Logic is Hard: Benchmarking LLMs on Post-Condition Formalization

I. S. W. B. Prasetya, Fitsum Kifetew, Davide Prandi

Formal specifications, such as pre- and post-conditions provide a solid basis for performing thorough program verification. However, developers rarely provide such formal specifica…