File size: 430 Bytes
348bbb8 |
1 2 3 4 5 6 7 8 9 10 11 |
---
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 |