ERCP: Self-Correcting LLM Reasoning Using NLI-Based Neuro-Symbolic Constraints | Heykuki News