reason-graph

Neurosymbolic chain-of-thought verifier: differentiable fuzzy-logic consistency as a training signal for small language models