TY - RPRT TI - Sample-efficient Neuro-symbolic Proximal Policy Optimization AU - Simone Murari AU - Celeste Veronese AU - Daniele Meli PY - 2026 UR - https://arxiv.org/abs/2604.25534 ID - 2604.25534 ER -