Editable Biblio is accessible from the internal network (or through VPN): http://10.10.24.239:8080/biblio/?section=publication&id=-9202924265626005643&mode=view

Matěj Kripner (2025): Symbolic World Models in Lean 4 for Reinforcement Learning. In: Proceedings of the RLC 2025 Workshop on Programmatic Reinforcement Learning, pp. 8-18, Reinforcement Learning Journal (RLJ), Edmonton, Canada (url, local PDF, bibtex)