Jul 2026
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.
Quoc-Khang Tran, M. Nguyen, P. Thai et al.
· arXiv.org · 0 citations