PolyFormer: learning efficient reformulations for scalable optimization under complex physical constraints | ScienceToStartup | ScienceToStartup