works on
educational question answering 1explainable AI 1neuro-symbolic reasoning 1program-of-thought 1small language models 1symbolic solvers 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

cs.CL2026

CoTu at EXACT 2026: Neuro-Symbolic Reasoning for Transparent Educational QA

Quoc-Khang Tran, Minh-Thien Nguyen, Phu-An Thai +3

The paper presents a neuro‑symbolic Program‑of‑Thought system that uses a 4B language model to generate symbolic programs (Z3 encodings for regulation queries and Python code for p…