Fetching the paper…

Neuro-Symbolic Reinforcement Learning with First-Order Logic · Around