vix.ing · top · new · best · stats · spec

Pirkelbauer, Peter

  1. FormalSpecCpp: A Dataset of C++ Formal Specifications created using LLMs
    2025/02/21 by Chakraborty, Madhurima, Pirkelbauer, Peter, Yi, Qing · 2 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering (cs.SE)