CircuitBuilder: From Polynomials to Circuits via Reinforcement Learning | ScienceToStartup | ScienceToStartup