Reproduce “Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models” on OpenResearch
Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.
Universal app for Apple silicon and Intel. Requires macOS 11 or later.
About this paper
Yang Li, Ping Hou, Nobuko Yoshida
Syntropy uses a fine-tuned language model to generate refinements of multiparty session types, with two levels of checking to filter candidates. For Qwen2.5-Coder-7B, monitoring raises semantic validity from 60.4% to 99.2% and syntactic validity from 85.0% to 96.7%, while token use rises from 8.6M to 27.5M. Acceptance is sound but incomplete, and guarantees apply to accepted type-level refinements.
Summary by alphaXiv.
Tip: change arxiv.org to autoarxiv.org in any arXiv abstract link to open the paper here.