Khandelwal, Vedant, et al. “Toward Neurosymbolic Reinforcement Learning via Editable Specifications”. Proceedings of the AAAI Symposium Series, vol. 8, no. 1, May 2026, pp. 603-7, doi:10.1609/aaaiss.v8i1.42594.