vericot-neuro-symbolic-chain-validation

【效率与协作】Validate LLM multi-step reasoning chains by converting natural language steps to first-order logic and checking logical consistency against established facts and sourced premises—enabling error detection and self-correction for more reliable reasoning.

独立 GitHub 快照 · 自动分类 · 以原作者文档为准