LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language - Mantenoglou, Periklis; Hazra, Rishi; Zuidberg Dos Martires, Pedro; De Raedt, Luc (Advances in Neural Information Processing Systems, 2025)