TY  - RPRT
TI  - Formal Reasoning for Intelligent QA Systems: A Case Study in the Educational Domain
AU  - Tuan Bui
AU  - An Nguyen
AU  - Phat Thai
AU  - Minh Hua
AU  - Ngan Pham L. N.
AU  - Ngan Pham T. B.
AU  - Dung Le
AU  - Long Nguyen
AU  - Thanh-Tung Tran
AU  - Thang Bui
AU  - Tho Quan
PY  - 2025
DO  - 10.1145/3746274.3760392
UR  - https://arxiv.org/abs/2509.11572
ID  - 2509.11572
ER  -