TY  - RPRT
TI  - Talk is Cheap, Logic is Hard: Benchmarking LLMs on Post-Condition Formalization
AU  - I. S. W. B. Prasetya
AU  - Fitsum Kifetew
AU  - Davide Prandi
PY  - 2026
UR  - https://arxiv.org/abs/2603.17193
ID  - 2603.17193
ER  -