delta-lab-ai/controller

This repository contains the model introduced in PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs.

Project page: https://pde-controller.github.io/

Code: https://github.com/wenyan-chen/PDE-Controller