Are Language Models Efficient Reasoners? A Perspective from Logic Programming - Opedal, Andreas; Zengaffinen, Yanick; Shirakami, Haruki; Pasti, Clemente; Sachan, Mrinmaya; Saparov, Abulhair; Cotterell, Ryan; Schölkopf, Bernhard (Advances in Neural Information Processing Systems, 2025)