RLC 2025 Workshop PRL Submissions

Differentiable Dec-Options: Scalable Neural Network Decomposition
Reza Abdollahzadeh, Parnian Behdin, Kiarash Aghakasiri, Levi Lelis
- Published: 21 Jun 2025, Last Modified: 19 Jul 2025
- RLC 2025 Workshop PRL
- Readers: Everyone
Symbolic World Models in Lean 4 for Reinforcement Learning
Matěj Kripner
- Published: 21 Jun 2025, Last Modified: 21 Jul 2025
- RLC 2025 Workshop PRL
- Readers: Everyone
Common Benchmarks Undervalue the Generalization Power of Programmatic Policies
Amirhossein Rajabpour, Kiarash Aghakasiri, Sandra Zilles, Levi Lelis
- Published: 21 Jun 2025, Last Modified: 26 Jul 2025
- RLC 2025 Workshop PRL
- Readers: Everyone
Language Models For PDDL Planning: Generating Sound and Programmatic Policies
Dillon Ze Chen, Johannes Zenn, Tristan Cinquin, Sheila A. McIlraith
- Published: 21 Jun 2025, Last Modified: 25 Jul 2025
- RLC 2025 Workshop PRL
- Readers: Everyone
Learning from Less: Guiding Deep Reinforcement Learning with Differentiable Symbolic Planning
Zihan Ye, Oleg Arenz, Kristian Kersting
- Published: 21 Jun 2025, Last Modified: 24 Jul 2025
- RLC 2025 Workshop PRL
- Readers: Everyone
Do it for HER: First-order Logic Reward Specification in Reinforcement Learning
Pierriccardo Olivieri, Fausto Lasca, Alessandro Gianola, Matteo Papini
- Published: 21 Jun 2025, Last Modified: 25 Jul 2025
- RLC 2025 Workshop PRL
- Readers: Everyone
Evaluating Interpretable Reinforcement Learning by Distilling Policies into Programs
Hector Kohler, Waris Radji, Quentin Delfosse, Riad Akrour, Philippe Preux
- Published: 21 Jun 2025, Last Modified: 26 Jul 2025
- RLC 2025 Workshop PRL
- Readers: Everyone