Fetching the paper…

GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis · Around