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.

This update bears on 2 kinds of work in 2 markets. Highest level accepted: L2 Partial automation.

Highest accepted

L2Partial automation

Work

2

Markets

2

Views

39.7K

The work it bears on

Highest level first. Open a kind of work to see everything else that moved it.

• L2Partial automation
  Assess practical performance and occupational competenceVocational skills and practical training
  L2 Partial automationClaimed L3 · Accepted L2From the publisher only
• L2Partial automation
  Develop business logic and service APIsApplication interfaces and business development
  L2 Partial automationClaimed L3 · Accepted L2From the publisher only

Published at