VeriTrans：通过确定性神经符号流水线实现的微调 LLM 辅助自然语言到编程语言翻译

VeriTrans 是一个以可靠性为核心的机器学习系统，旨在将自然语言需求编译为求解器就绪的逻辑形式。该流水线集成了指令微调的翻译模型、用于高精度验收门的往返重构机制以及规范的逻辑编译过程，所有步骤均通过确定性配置执行。在 SatBench 数据集上，该系统实现了极高的正确率与相似度。通过引入阈值接受策略，系统在保持高可靠性的同时提供了覆盖率调节能力，并将学习型翻译与符号验证分离，使前端组件具备可审计性与可复现性，适用于高可靠性关键工作流。