SokoBench: Evaluating Long-Horizon Planning and Reasoning in Large Language Models. - Sebastiano Monti; Carlo Nicolini; Gianni Pellegrini; Jacopo Staiano; Bruno Lepri (CoRR, 2026)