Designing Arithmetic Circuits with Deep Reinforcement Learning (2022) (developer.nvidia.com)