modified readme
Browse files
README.md
CHANGED
|
@@ -22,6 +22,8 @@ task independent NL2TL example:
|
|
| 22 |
{"natural": "go through the P01 until you get to the P04", "raw_ltl": "F ( P01 A ( F P04 ) )"}
|
| 23 |
```
|
| 24 |
|
|
|
|
|
|
|
| 25 |
Based task related NL2TL datasets:
|
| 26 |
- datasets
|
| 27 |
- [Efficient-Eng-2-LTL](https://github.com/UM-ARM-Lab/Efficient-Eng-2-LTL)
|
|
|
|
| 22 |
{"natural": "go through the P01 until you get to the P04", "raw_ltl": "F ( P01 A ( F P04 ) )"}
|
| 23 |
```
|
| 24 |
|
| 25 |
+
**NOTE:** We mechanically obtain task independent descriptions from task related descriptions by noun/phrase substitution. Due to the removal of semantic information, some NL2TL mappings obtained through this method are not unique.
|
| 26 |
+
|
| 27 |
Based task related NL2TL datasets:
|
| 28 |
- datasets
|
| 29 |
- [Efficient-Eng-2-LTL](https://github.com/UM-ARM-Lab/Efficient-Eng-2-LTL)
|