Retrieval-Guided Reinforcement Learning for Boolean Circuit Minimization - Basak Chowdhury, Animesh; Romanelli, Marco; Tan, Benjamin; Karri, Ramesh; Garg, Siddharth (International Conference on Learning Representations, 2024)