Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
tt-dart
/
NL2HLTL
like
1
Safetensors
arxiv:
2408.08188
Model card
Files
Files and versions
Community
main
NL2HLTL
/
NL2TL-dataset
/
datasets-nl2spec
Ctrl+K
Ctrl+K
1 contributor
History:
1 commit
tt-dart
add dataset
784a7e2
8 months ago
experiments
add dataset
8 months ago
raw
add dataset
8 months ago
Readme.md
Safe
5.55 kB
add dataset
8 months ago
canonical.json
Safe
73.9 kB
LFS
add dataset
8 months ago
expert_LTL_dataset-raw.txt
Safe
70.4 kB
LFS
add dataset
8 months ago
expert_LTL_dataset.txt
Safe
70.3 kB
LFS
add dataset
8 months ago
golden.jsonl
Safe
0 Bytes
add dataset
8 months ago
preprocess.ipynb
Safe
18.7 kB
add dataset
8 months ago
train_seed.jsonl
Safe
82.5 kB
LFS
add dataset
8 months ago
