Unverified50% confidenceSolutionExact time

该架构模式的核心是用小型专精模型将自然语言翻译成形式逻辑，再交给求解器（如 Prolog、SMT、Lean）得出确定性答案

1

Sources

50%

Confidence

Long-term

Relevance

9/11/2026

First Seen

Sources

小模型+求解器：自动形式化让逻辑验证告别幻觉

Related Entities

Prologtechnology SMTtechnology Leantechnology 自动形式化concept

Cite This Claim

Stable URI

https://kongchang.com/claim/902363

API

curl https://kongchang.com/api/v1/knowledge/claims/902363

MCP

get_claim(id=902363)