Automating the Refinement of Reinforcement Learning Specifications - Ambadkar, Tanmay Sadanand; Zikelic, Djordje; Verma, Abhinav (International Conference on Learning Representations, 2026)