程式生成

速報

Hydra：為程式生成靜態錯誤設計的高效回復系統

大型語言模型在程式碼生成時常遭遇靜態錯誤，導致無法編譯而阻礙後續測試流程。Hydra 提出非同步檢查與檢查點回滾機制，讓檢查可與生成同時進行，並在發現錯誤時只回滾到錯誤相關的檢查點以進行局部修復，避免重生成與重檢查。