AlphaEvolve 評估輔助程式的邏輯架構

AlphaEvolve 評估輔助程式必須透過確定性執行管道,有系統地處理候選程式碼更新。測試架構不會一次執行及評估解決方案,而是將管道劃分為三個漸進式測試閘道:

  1. 解決方案驗證

  2. 解決方案驗證

  3. 解決方案評估

評估閘道

下圖說明候選程式如何通過三個不同的測試層級,然後將結構化中繼資料傳回 AlphaEvolve。

評估架構內的邏輯流程

解決方案驗證

評估迴圈會先強制執行嚴格的結構限制,但不會執行程式碼的核心邏輯。安全架構會檢查候選解決方案,確認是否符合基本的編譯時間語法正確性、剖析錯誤,以及結構性安全性違規事項。

  • 成功路徑:如果程式通過所有驗證檢查,程式碼就會安全地向下傳遞至解決方案驗證執行階段迴圈。

  • 失敗路徑 (短路):如果任何驗證測試失敗,測試架構會立即中斷執行作業。這項功能會完全略過耗用大量資源的驗證和效能測試層級,以保護系統基礎架構。迴圈會直接進入意見回饋製作階段,並連同零值成效分數,一併聲明大規模的平坦搜尋處罰 (例如 -1e12)。

解決方案驗證

候選程式通過語法驗證,且可安全執行後,安全架構會在隔離環境中啟動程式,強制執行軟性功能限制。這個階段會執行標準單元和功能正確性檢查。

評估程式時,測試架構會根據通過的功能測試確切數量或百分比,而非輸出通過或失敗的二進位信號。這會計入整體處罰分數,為 AlphaEvolve 提供密集的數值搜尋梯度,以便在連續世代中逐步修正損壞的邏輯結構。

解決方案評估

當候選程式證明在語法上安全無虞,且演算法正確無誤,就會進入效能基準測試層。

測試架構會執行實證測試、直接計算產品邏輯,或進行分析模擬,以量化目標業務最佳化指標 (例如演算法執行速度、雲端基礎架構記憶體用量或輸出校準界限)。

全面評估意見回饋

在執行管道的結尾,安全帶會將所有已完成階段的資料匯總到結構化意見回饋酬載中。這個酬載會直接傳回 AlphaEvolve,引導家長選取後續突變。

標準化意見回饋輸出內容包含下列三個主要元件:

  1. 整體爬山分數:單一的組合純量值,由 AlphaEvolve 在最佳化期間直接最大化,並由安全帶以決定性方式計算。

  2. 精細的最佳化分數和處罰:個別子指標、執行時間和軟限制處罰明細。這種明確的資料分配方式可讓引擎清楚推斷出底層的工程取捨。

  3. 文字洞察:將原始結構記錄和失敗模式詳細資料傳回未來的提示情境,讓 LLM 從生成錯誤中明確學習。