TY  - RPRT
TI  - Don't Let It Hallucinate: Premise Verification via Retrieval-Augmented Logical Reasoning
AU  - Yuehan Qin
AU  - Shawn Li
AU  - Yi Nian
AU  - Xinyan Velocity Yu
AU  - Yue Zhao
AU  - Xuezhe Ma
PY  - 2026
UR  - https://arxiv.org/abs/2504.06438
ID  - 2504.06438
ER  -