Madhurima Chakraborty, Peter Pirkelbauer, Qing Yi. FormalSpecCpp: A Dataset of C++ Formal Specifications created using LLMs. In 22nd IEEE/ACM International Conference on Mining Software Repositories, MSR@ICSE 2025, Ottawa, ON, Canada, April 28-29, 2025. pages 758-762, IEEE, 2025. [doi]
Abstract is missing.