Sample-efficient Neuro-symbolic Proximal Policy Optimization. - Simone Murari; Celeste Veronese; Daniele Meli (CoRR, 2026)