most citedStructured Thoughts Automaton: First Formalized Execution Model for Auto-Regressive Language Models

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

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…