1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SE2025
FormalSpecCpp: A Dataset of C++ Formal Specifications created using LLMs
Madhurima Chakraborty, Peter Pirkelbauer, Qing Yi
FormalSpecCpp is a dataset designed to fill the gap in standardized benchmarks for verifying formal specifications in C++ programs. To the best of our knowledge, this is the first…
cs.CL2023★ 1 cited
Structured Thoughts Automaton: First Formalized Execution Model for Auto-Regressive Language Models
Tristan Vanderbruggen, Chunhua Liao, Peter Pirkelbauer +1
In recent months, Language Models (LMs) have become a part of daily discourse, with focus on OpenAI and the potential of Artificial General Intelligence (AGI). Furthermore, the lea…