三十页论文，我只打算偷两样东西
半夜，pager 难得没响，我在翻 arXiv 的新提交。cs.SE 底下挂着一条，11 月 3 号提交的，标题长得能当腰带：Agentic Behavior Engineering: A DesignbyContract Methodology for Specifying, Verifying, and Go…
半夜，pager 难得没响，我在翻 arXiv 的新提交。cs.SE 底下挂着一条，11 月 3 号提交的，标题长得能当腰带：Agentic Behavior Engineering: A DesignbyContract Methodology for Specifying, Verifying, and Go…