深度分析 2.5‑D 分解:以神經符號混合管線降低 LLM 在三維建構的垂直錯誤 在自主建構任務中,大型語言模型(LLM)擅長理解指令,卻常在三維座標輸出時出現垂直位移、錯誤堆疊與重複放置等系統性失誤。
深度分析 VeriTrans:決定性神經符號管線提升自然語言到程式邏輯的可靠翻譯 隨著自然語言需求轉譯成求解器可用邏輯的需求升高,VeriTrans 以指令微調翻譯模型加回溯驗證管線,將 NL→PL 轉譯的正確性提升至 94.46%。此系統在 SatBench 測試中展現高可靠性與可審計特性,為關鍵工作流提供可重現的 AI 前端。