CoTu at EXACT 2026: Neuro-Symbolic Reasoning for Transparent Educational QA
A neuro-symbolic Program-of-Thought pipeline in which a 4B backbone writes a program rather than stating an answer directly, which yields correct, verifiable deductions at the 4B scale, and the residual difficulty lies in premise selection rather than the deduction itself.