arXiv Artificial Intelligence· Yang Li, Ping Hou, Nobuko Yoshida·· 19 小时前AI 评分26
Syntropy：用 MPST 规范与 LLM 合成无死锁通信协议精化
Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models
AI 导读
Syntropy 是一个由 MPST 规范与 LLM 引导合成通信协议精化的框架，将精化约束直接嵌入生成过程，确保生成的协议变体满足无死锁等保证。评测显示其有效率达 95.6%-99.5%，并保持较高语法正确性，在多个 LLM 上生成多样且非平凡的精化结果。
来源：arXiv Artificial Intelligence · arxiv.org