3 papers
cs.AI2025
Formal Reasoning for Intelligent QA Systems: A Case Study in the Educational Domain
Tuan Bui, An Nguyen, Phat Thai +8
Reasoning is essential for closed-domain QA systems in which procedural correctness and policy compliance are critical. While large language models (LLMs) have shown strong perform…
cs.CL2025
Bridging LLMs and Symbolic Reasoning in Educational QA Systems: Insights from the XAI Challenge at IJCNN 2025
Long S. T. Nguyen, Khang H. N. Vo, Thu H. A. Nguyen +13
The growing integration of Artificial Intelligence (AI) into education has intensified the need for transparency and interpretability. While hackathons have long served as agile en…
cs.CL2025
Speaking in Words, Thinking in Logic: A Dual-Process Framework in QA Systems
Tuan Bui, Trong Le, Phat Thai +5
Recent advances in large language models (LLMs) have significantly enhanced question-answering (QA) capabilities, particularly in open-domain contexts. However, in closed-domain sc…