A fine-tuned LLM plus a two-level semantic checker synthesizes asynchronous multiparty session type refinements with 95.6–99.5% checker-accepted validity.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models
A fine-tuned LLM plus a two-level semantic checker synthesizes asynchronous multiparty session type refinements with 95.6–99.5% checker-accepted validity.