Picture for Qing Yi

Qing Yi

FormalSpecCpp: A Dataset of C++ Formal Specifications created using LLMs

Add code
Feb 21, 2025
Viaarxiv icon