Dec 12, 2023 Paper Reading Notes for Translating Natural Language Comments to Formal Program Specifications