@misc{qin2025hallucinate,
  title={Don't Let It Hallucinate: Premise Verification via Retrieval-Augmented Logical Reasoning},
  author={Yuehan Qin and Shawn Li and Yi Nian and Xinyan Velocity Yu and Yue Zhao and Xuezhe Ma},
  year={2025},
  eprint={2504.06438},
  archivePrefix={arXiv},
  primaryClass={cs.CL},
  url={https://arxiv.org/abs/2504.06438}
}