深度分析 Evergreen:將主張驗證納入神經符號語意查詢引擎 語意彙整讓 LLM 能把關聯資料匯整成自然語言摘要,卻常產生未依據原始資料的主張。Evergreen 將主張編譯成可優化的語意驗證查詢,透過提前停止、相關度排序與信賴序列等驗證感知優化,並回傳以半環來源形式表示的最小證據集。實驗顯示其在品質與成本間具強勁折衷優勢。