#ECIR2026 notifications part three:
3. Full paper "OrLog: Resolving Complex Queries with LLMs and Probabilistic Reasoning" with @mhoveyda, Jelle Piepenbrock, MdR and @fhasibi.
OrLog is a neuro-symbolic retrieval framework that combines LLM with probabilistic logic programming to resolve natural language queries with logical constraints by decoupling predicate-level plausibility estimation (=LLM) from logical reasoning (=ProbLog).
Revisit Van Rijsbergen's vision of logic for IR!
3/4