Cite
Notes
Only stored in your browser.
Attribution
FormalSpecCpp: A Dataset of C++ Formal Specifications created using LLMs
arXiv 2025
Structured Thoughts Automaton: First Formalized Execution Model for Auto-Regressive Language Models
arXiv 2023
from 2 papers
Chunhua Liao
Madhurima Chakraborty
Pei-Hung Lin
Qing Yi
Tristan Vanderbruggen