Logical Consistency is Vital: Neural-Symbolic Information Retrieval for Negative-Constraint Queries. - Ganlin Xu; Zhoujia Zhang; Wangyi Mei; Jiaqing Liang; Weijia Lu; Xiaodong Zhang; Zhifei Yang; Xiaofeng Ma; Yanghua Xiao; Deqing Yang (ACL (Findings), 2025)