iseda 文章 進(jìn)入iseda技術(shù)社區

ISEDA首發(fā)！大語(yǔ)言模型生成的代碼到底好不好使

• 在大模型席卷一切、賦能百業(yè)的浪潮里，“碼農”也沒(méi)能獨善其身。各種代碼自動(dòng)生成的大模型，似乎描繪了一個(gè)人人都能像資深工程師一樣寫(xiě)代碼的美好未來(lái)。但在這個(gè)理想成為現實(shí)之前，有一個(gè)不能回避的問(wèn)題 — 這些自動(dòng)生成的代碼真的有效嗎？大模型也會(huì )犯錯，我們肯定不希望把看似正確的錯誤結果交給用戶(hù)，所以需要一個(gè)能精確驗證模型生成答案的考官。近期，芯華章提出了一種對大模型生成代碼形式化評估的方法，稱(chēng)為FormalEval。它能自動(dòng)化檢査生成代碼的質(zhì)量，無(wú)需手動(dòng)編寫(xiě)測試用例。經(jīng)過(guò)測試，FormalEval
• 關(guān)鍵字： ISEDA  大語(yǔ)言模型  代碼生成  芯華章