Skill-Driven Neurosymbolic State Abstractions - Ahmetoglu, Alper; James, Steven; Allen, Cameron; Lobel, Sam; Abel, David; Konidaris, George (Advances in Neural Information Processing Systems, 2025)