@article{formalreasoningforintelligentqasystemsac,
  title = {Formal Reasoning for Intelligent QA Systems: A Case Study in the Educational Domain},
  author = {Tuan Bui and An Nguyen and Phat Thai and Minh Hua and Ngan Pham L. N. and Ngan Pham T. B. and Dung Le and Long Nguyen and Thanh-Tung Tran and Thang Bui and Tho Quan},
  year = {2025},
  eprint = {2509.11572},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2509.11572},
}