README.md

metadata

license: apache-2.0
library_name: transformers
pipeline_tag: text-generation

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