提示词管不住约束——自动机能，而且六十年前就能
半夜刷 arXiv，刷到一篇标题里躺着一个老词的论文：automata。这年头敢在具身 agent 论文里拿自动机当主角的，要么是来炒冷饭，要么是真发现了点什么。CEDAR 这篇属于后者——摘要里有一句话把我钉住了：语言模型负责提议，自动机负责把关。 先把判断说满：提示词管住的是词汇，管不住的是约束。
DFA1 篇实战文章
半夜刷 arXiv，刷到一篇标题里躺着一个老词的论文：automata。这年头敢在具身 agent 论文里拿自动机当主角的，要么是来炒冷饭，要么是真发现了点什么。CEDAR 这篇属于后者——摘要里有一句话把我钉住了：语言模型负责提议，自动机负责把关。 先把判断说满：提示词管住的是词汇，管不住的是约束。