深度分析
對比式推理路徑合成(CRPS):提升資料效率與跨域泛化的高資訊對比方法
Monte Carlo 樹搜尋在自動推理中常見,但傳統只保留最高回報路徑,浪費比較訊號。本文提出對比式推理路徑合成(CRPS),透過分析高低品質軌跡差異,合成兼具成功模式與迴避失敗的推理鏈。實驗顯示 6 萬筆 CRPS 樣本即可匹配或超越 59 萬筆傳統樣本,資料規模縮減 20 倍,且在跨域測試上表現更佳。
深度分析
Monte Carlo 樹搜尋在自動推理中常見,但傳統只保留最高回報路徑,浪費比較訊號。本文提出對比式推理路徑合成(CRPS),透過分析高低品質軌跡差異,合成兼具成功模式與迴避失敗的推理鏈。實驗顯示 6 萬筆 CRPS 樣本即可匹配或超越 59 萬筆傳統樣本,資料規模縮減 20 倍,且在跨域測試上表現更佳。
深度分析
隨著自然語言需求轉譯成求解器可用邏輯的需求升高,VeriTrans 以指令微調翻譯模型加回溯驗證管線,將 NL→PL 轉譯的正確性提升至 94.46%。此系統在 SatBench 測試中展現高可靠性與可審計特性,為關鍵工作流提供可重現的 AI 前端。