@misc{indiciaebc57d8303066,
  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},
  doi = {10.1145/3746274.3760392},
  url = {https://arxiv.org/abs/2509.11572},
  note = {Source identifier: 2509.11572}
}