刚看到那个Lean4Agent的论文 讲用形式化验证搞大模型工作流 笑死 感觉就是给我这种创业狗量身定做的

之前搞了个自动回复客服的Agent 三步推理都跑偏 客户骂我人工智障 后来加了十几条if else才算勉强能看 但改一次逻辑就得重新调prompt 烦到想砸吉他

形式化验证听着就头大 但仔细想想 要是真能把每一步推理都框在规则里 至少不会出现"老板让我订机票结果订了飞猪会员"这种离谱行为 哈哈

有没有在用的老哥 这玩意儿上手难不难 我连formal verification拼写都记不全 但太想找个工具管管我那帮不听话的Agent了