Formal Reasoning for Intelligent QA Systems: A Case Study in the Educational Domain. - Tuan Bui; An Nguyen; Phat Thai; Minh Hua; Ngan Pham L. N.; Ngan Pham T. B.; Dung Le; Long Nguyen; Thanh-Tung Tran; Thang Bui; Tho Quan (CoRR, 2025)