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