CircuitBuilder: From Polynomials to Circuits via Reinforcement Learning. - Weikun K. Zhang; Rohan Pandey; Bhaumik Mehta; Kaijie Jin; Naomi Morato; Archit Ganapule; Michael Ruofan Zeng; Jarod Alper (CoRR, 2026)