@inproceedings{biblio-9202924265626005643,
  author    = {Matěj Kripner},
  year      = 2025,
  title     = {Symbolic World Models in Lean 4 for Reinforcement Learning},
  booktitle = {Proceedings of the RLC 2025 Workshop on Programmatic Reinforcement Learning},
  pages     = {8--18},
  publisher = {Reinforcement Learning Journal (RLJ)},
  address   = {Edmonton, Canada},
}