Hugging Face's logo

tt-dart
/
NL2HLTL

Safetensors
Model card Files Community
tt-dart commited on
Commit
b2e5553
·
1 Parent(s): 784a7e2

add dataset

Browse files
Files changed (7) hide show
  1. NL2TL-dataset/datasets-Efficient-Eng-2-LTL/{pick-and-place seems bad → pick-and-place}/canonical.json +0 -0
  2. NL2TL-dataset/datasets-Efficient-Eng-2-LTL/{pick-and-place seems bad → pick-and-place}/golden.jsonl +0 -0
  3. NL2TL-dataset/datasets-Efficient-Eng-2-LTL/{pick-and-place seems bad → pick-and-place}/preprocess.ipynb +0 -0
  4. NL2TL-dataset/datasets-Efficient-Eng-2-LTL/{pick-and-place seems bad → pick-and-place}/raw/eng copy.txt +0 -0
  5. NL2TL-dataset/datasets-Efficient-Eng-2-LTL/{pick-and-place seems bad → pick-and-place}/raw/eng.txt +0 -0
  6. NL2TL-dataset/datasets-Efficient-Eng-2-LTL/{pick-and-place seems bad → pick-and-place}/raw/ltl.txt +0 -0
  7. NL2TL-dataset/datasets-Efficient-Eng-2-LTL/{pick-and-place seems bad → pick-and-place}/train_seed.jsonl +0 -0
NL2TL-dataset/datasets-Efficient-Eng-2-LTL/{pick-and-place seems bad → pick-and-place}/canonical.json RENAMED
File without changes
NL2TL-dataset/datasets-Efficient-Eng-2-LTL/{pick-and-place seems bad → pick-and-place}/golden.jsonl RENAMED
File without changes
NL2TL-dataset/datasets-Efficient-Eng-2-LTL/{pick-and-place seems bad → pick-and-place}/preprocess.ipynb RENAMED
File without changes
NL2TL-dataset/datasets-Efficient-Eng-2-LTL/{pick-and-place seems bad → pick-and-place}/raw/eng copy.txt RENAMED
File without changes
NL2TL-dataset/datasets-Efficient-Eng-2-LTL/{pick-and-place seems bad → pick-and-place}/raw/eng.txt RENAMED
File without changes
NL2TL-dataset/datasets-Efficient-Eng-2-LTL/{pick-and-place seems bad → pick-and-place}/raw/ltl.txt RENAMED
File without changes
NL2TL-dataset/datasets-Efficient-Eng-2-LTL/{pick-and-place seems bad → pick-and-place}/train_seed.jsonl RENAMED
File without changes