GitHub Next and Microsoft Research release Chopin and Proof-Driven Development Kit in research preview原文

GitHub Next and Microsoft Research release Chopin and a Proof-Driven Development Kit in research preview, letting teams ship AI-generated code to production without line-by-line review.

这条更新涉及 2 条赛道的 2 项工作，最高采信到 L2 部分自动化。

最高采信

L2部分自动化

工作

2

赛道

2

浏览

3.97 万

它涉及的工作

级别高的在前。点开一项工作，查看推动它的其他更新。

• L2部分自动化
  检查实操表现与职业能力职业技能与实操培训
  L2 部分自动化宣称 L3 · 采信 L2仅来自发布方
• L2部分自动化
  开发业务逻辑与服务接口应用界面与业务开发
  L2 部分自动化宣称 L3 · 采信 L2仅来自发布方

发布于