delta-lab-ai/pde-controller

该数据集用于训练PDE-Controller框架，包含STLs、Heat和Wave等类型的样本，将非正式的自然语言指令转化为形式化的规范，并通过推理和规划步骤来提高PDE控制的效用。数据集由合成的STLs和对应的自然语言描述以及Python代码组成，并通过ChatGPT进行了增强以增加多样性。

This dataset is used to train the PDE-Controller framework, containing samples of STLs, Heat, and Wave types. It transforms informal natural language instructions into formal specifications and improves the utility of PDE control through reasoning and planning steps. The dataset consists of synthesized STLs and their corresponding natural language descriptions and Python code, augmented by ChatGPT to enhance diversity.