PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs. - Mauricio Soroco; Jialin Song; Mengzhou Xia; Kye Emond; Weiran Sun; Wuyang Chen 001 (CoRR, 2025)