SAT 求解器

深度分析

VeriTrans：決定性神經符號管線提升自然語言到程式邏輯的可靠翻譯

隨著自然語言需求轉譯成求解器可用邏輯的需求升高，VeriTrans 以指令微調翻譯模型加回溯驗證管線，將 NL→PL 轉譯的正確性提升至 94.46%。此系統在 SatBench 測試中展現高可靠性與可審計特性，為關鍵工作流提供可重現的 AI 前端。