Picture for Peter Pirkelbauer

Peter Pirkelbauer

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

Add code
Feb 21, 2025
Viaarxiv icon

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

Add code
Jun 16, 2023
Viaarxiv icon