Genetic Programming conference papers by Matej Kripner
Matej Kripner.
Symbolic World Models in Lean 4 for Reinforcement Learning. In
Proceedings of the RLC 2025 Workshop on Programmatic Reinforcement Learning, pages 8-18, Edmonton, Canada, 2025. Reinforcement Learning Journal (RLJ).
details
