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

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

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