SIGIR2025_LOGIC_IR