Tag: 代码生成

All the articles with the tag "代码生成".

• 7.4

  AgentFactory：通过可执行子智能体积累实现自我进化

  2026年03月19日

  · arXiv· 03/19 10:36 采集

  提出将成功任务方案保存为可执行子智能体代码而非文本经验，基于执行反馈持续优化

• 8.7

  Mistral 发布 Leanstral：首个开源 Lean 4 证明助手模型

  2026年03月17日

  · Mistral AI· 03/17 13:52 采集

  Mistral AI 推出 Leanstral，一个专为 Lean 4 形式化验证设计的高效代码智能体，仅 6B 激活参数即可在证明工程任务中击败大型闭源模型。

• 8.5

  Leanstral：Mistral 发布首个开源 Lean 4 形式化证明 Agent

  2026年03月16日

  · Hacker News· 03/17 08:30 采集

  Mistral 推出 Leanstral，专为 Lean 4 形式化证明设计的代码 Agent，6B 活跃参数，Apache 2.0 开源，在 FLTEval 基准上超越 Claude Sonnet