Update README.md
Browse files
README.md
CHANGED
|
@@ -14,6 +14,8 @@ tags:
|
|
| 14 |
- safetensors
|
| 15 |
- pytorch
|
| 16 |
pipeline_tag: feature-extraction
|
|
|
|
|
|
|
| 17 |
---
|
| 18 |
|
| 19 |
# nanoGentzen: Neural-Guided Automated Theorem Prover for Intuitionistic Logic
|
|
@@ -325,4 +327,4 @@ nanoGentzen is a **formal logical reasoner**, not an empirical physics simulator
|
|
| 325 |
|
| 326 |
## License
|
| 327 |
|
| 328 |
-
This project is released under the **MIT License**.
|
|
|
|
| 14 |
- safetensors
|
| 15 |
- pytorch
|
| 16 |
pipeline_tag: feature-extraction
|
| 17 |
+
datasets:
|
| 18 |
+
- Sagicc/nanoGentzen
|
| 19 |
---
|
| 20 |
|
| 21 |
# nanoGentzen: Neural-Guided Automated Theorem Prover for Intuitionistic Logic
|
|
|
|
| 327 |
|
| 328 |
## License
|
| 329 |
|
| 330 |
+
This project is released under the **MIT License**.
|