2 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
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…