Sample-efficient Neuro-symbolic Proximal Policy Optimization — Simone Murari, Celeste Veronese, Daniele Meli | Kutubxona