pde-controller

Autoformalization and Reasoning for PDE Control This dataset is used to train PDE-Controller (https://pde-controller.github.io/), a framework that enables large language models (LLMs) to control systems governed by partial differential equations (PDEs). By training LLMs on this dataset, we can transform informal natural language instructions into formal specifications, and then execute reasoning and planning steps to improve the utility of PDE control. By bridging the gap between… See the full description on the dataset page: https://huggingface.co/datasets/delta-lab-ai/pde-controller.