PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs

Open in new window