TY - RPRT TI - GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis AU - Yushi Cao AU - Zhiming Li AU - Tianpei Yang AU - Hao Zhang AU - Yan Zheng AU - Yi Li AU - Jianye Hao AU - Yang Liu PY - 2022 UR - https://arxiv.org/abs/2205.13728 ID - 2205.13728 ER -