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.

Independent GitHub snapshot · Automated classification · Original documentation governs