微軟宣布推出一種可以提高大型語(yǔ)言模型性能的新工具 Jigsaw。“大型的預(yù)訓(xùn)練語(yǔ)言模型(如 GPT-3、Codex 等)，可以被調(diào)整為從程序員意圖的自然語(yǔ)言規(guī)范中生成代碼。這種自動(dòng)化模型有可能提高世界上每個(gè)程序員的生產(chǎn)力;但是，由于這些模型可能難以理解程序語(yǔ)義，因此所生成的代碼的質(zhì)量不能得到保證?！?/p>

根據(jù)介紹，Jigsaw 部署了理解程序語(yǔ)法和語(yǔ)義的后處理技術(shù)，然后利用用戶(hù)反饋來(lái)提高未來(lái)的性能;該工具旨在使用多模式輸入為 Python Pandas API 合成代碼。Pandas 是數(shù)據(jù)科學(xué)中廣泛使用的 API，具有數(shù)百個(gè)用于 manipulating dataframes 或具有行和列的表的函數(shù)。

微軟方面稱(chēng)，其經(jīng)驗(yàn)表明，隨著這些大型語(yǔ)言模型演變?yōu)楦鶕?jù)意圖合成代碼，Jigsaw 可以在提高系統(tǒng)準(zhǔn)確性方面發(fā)揮重要作用。

像 OpenAI 的 Codex 這樣的大型語(yǔ)言模型正在重新定義編程領(lǐng)域。軟件開(kāi)發(fā)人員在解決編程任務(wù)時(shí)，可以為預(yù)期的代碼片段提供英文描述，Codex 可以用 Python 或 JavaScript 等語(yǔ)言合成預(yù)期的代碼。但合成的代碼可能不正確，甚至可能無(wú)法編譯或運(yùn)行。Codex 用戶(hù)有責(zé)任在使用代碼之前對(duì)其進(jìn)行審查。Jigsaw 團(tuán)隊(duì)解釋稱(chēng)，通過(guò) Project Jigsaw，其目標(biāo)是使部分審查自動(dòng)化，以提高使用 Codex 等大型語(yǔ)言模型進(jìn)行代碼合成的開(kāi)發(fā)人員的生產(chǎn)力。

微軟認(rèn)為 Jigsaw 可以“完全自動(dòng)化”檢查代碼是否編譯、處理錯(cuò)誤信息以及測(cè)試代碼是否產(chǎn)生開(kāi)發(fā)人員希望輸出的內(nèi)容的整個(gè)過(guò)程?！癑igsaw 將預(yù)期代碼的英文描述以及 I/O 實(shí)例作為輸入。通過(guò)這種方式，它將輸入與相關(guān)的輸出配對(duì);并提供質(zhì)量保證，即輸出的 Python 代碼將在提供的輸入上編譯并產(chǎn)生預(yù)期的輸出?！?/p>

在其 ICSE 2022 論文 Jigsaw：Large Language Models meet Program Synthesis 中，微軟方面在 Python Pandas 上評(píng)估了這種方法。使用 Jigsaw，用戶(hù)可以提供對(duì)預(yù)期轉(zhuǎn)換的英文描述、input dataframe 和相應(yīng)的 output dataframe，然后讓 Jigsaw 合成預(yù)期代碼。

Jigsaw 獲取英語(yǔ)查詢(xún)并使用適當(dāng)?shù)纳舷挛膶?duì)其進(jìn)行預(yù)處理，以構(gòu)建可以饋送到大型語(yǔ)言模型的輸入。微軟在實(shí)驗(yàn)中發(fā)現(xiàn)，Jigsaw 可以在 30% 的時(shí)間內(nèi)創(chuàng)建正確的輸出。如果代碼失敗，那么修復(fù)過(guò)程在后處理階段開(kāi)始。

在后處理過(guò)程中，Jigsaw 應(yīng)用了三種變換來(lái)修復(fù)代碼。這些轉(zhuǎn)變中的每一個(gè)都是由他們?cè)?GPT-3 和 Codex 中觀察到的故障模式所激發(fā)的。而 GPT-3 和 Codex 失敗的方式都類(lèi)似，因此 Jigsaw 解決這些失敗模式的后處理對(duì)兩者都很有用。

微軟在各種數(shù)據(jù)集上評(píng)估了 Codex 和 Jigsaw (with Codex)，并測(cè)量了準(zhǔn)確率。Codex 給出了約 30% 的開(kāi)箱即用的準(zhǔn)確性，Jigsaw 則將準(zhǔn)確率提高到 60% 以上;通過(guò)用戶(hù)反饋，準(zhǔn)確率可提高到 80% 以上。接下來(lái)，他們將繼續(xù)致力于完善 Jigsaw，努力將在 Python Pandas API 上的經(jīng)驗(yàn)推廣到其他 API 和其他語(yǔ)言上;在通過(guò)自動(dòng)化提高程序員生產(chǎn)力方面發(fā)揮重要作用。

更多詳情可查看官方博客。

本文轉(zhuǎn)自O(shè)SCHINA

本文標(biāo)題：微軟推出 AI 代碼審查工具，可將準(zhǔn)確率提升至 >80%

本文地址：https://www.oschina.net/news/190978/microsoft-jigsaw-ai-code-fix