Update README.md
Browse files
README.md
CHANGED
|
@@ -1,13 +1,16 @@
|
|
| 1 |
---
|
| 2 |
library_name: transformers
|
| 3 |
-
tags:
|
|
|
|
|
|
|
|
|
|
|
|
|
| 4 |
---
|
| 5 |
|
| 6 |
# Model Card for Model ID
|
| 7 |
|
| 8 |
-
|
| 9 |
-
|
| 10 |
-
|
| 11 |
|
| 12 |
## Model Details
|
| 13 |
|
|
|
|
| 1 |
---
|
| 2 |
library_name: transformers
|
| 3 |
+
tags:
|
| 4 |
+
- causal-lm
|
| 5 |
+
- decoder-only
|
| 6 |
+
- signal-temporal-logic
|
| 7 |
+
- neuro-symbolic
|
| 8 |
---
|
| 9 |
|
| 10 |
# Model Card for Model ID
|
| 11 |
|
| 12 |
+
This model is a **decoder-only Transformer model** designed to revert neuro-symbolic embeddings of **Signal Temporal Logic (STL) formulae**.
|
| 13 |
+
It is a small-scale research/educational model with a vocabulary size of 35 tokens (corresponding to STL syntax elements) and a hidden dimension of 32.
|
|
|
|
| 14 |
|
| 15 |
## Model Details
|
| 16 |
|