PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs | Read Paper on Bytez