| license: apache-2.0 | |
| library_name: transformers | |
| pipeline_tag: text-generation | |
| This repository contains the model used for autoformalization and reasoning as presented in [PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs](https://huggingface.co/papers/2502.00963). | |
| Project page: https://pde-controller.github.io/ | |
| Code: The code implementation can be found at https://github.com/Delta-Lab-AI/PDE-Controller |