Add model card (#1)
Browse files- Add model card (4ed2071aa1dddeab37095a1dd25149f18d504a1c)
Co-authored-by: Niels Rogge <[email protected]>
README.md
ADDED
|
@@ -0,0 +1,11 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
---
|
| 2 |
+
license: apache-2.0
|
| 3 |
+
library_name: transformers
|
| 4 |
+
pipeline_tag: text-generation
|
| 5 |
+
---
|
| 6 |
+
|
| 7 |
+
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).
|
| 8 |
+
|
| 9 |
+
Project page: https://pde-controller.github.io/
|
| 10 |
+
|
| 11 |
+
Code: The code implementation can be found at https://github.com/Delta-Lab-AI/PDE-Controller
|