Hugging Face
Models
Datasets
Spaces
Posts
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
6 months ago
experiments
add dataset
6 months ago
raw
add dataset
6 months ago
Readme.md
5.55 kB
add dataset
6 months ago
canonical.json
73.9 kB
LFS
add dataset
6 months ago
expert_LTL_dataset-raw.txt
70.4 kB
LFS
add dataset
6 months ago
expert_LTL_dataset.txt
70.3 kB
LFS
add dataset
6 months ago
golden.jsonl
0 Bytes
add dataset
6 months ago
preprocess.ipynb
18.7 kB
add dataset
6 months ago
train_seed.jsonl
82.5 kB
LFS
add dataset
6 months ago
