Models
Datasets
Spaces
Docs
Enterprise
Pricing
Log In
Sign Up

tt-dart
/

NL2HLTL

Model card Files Files and versions Community

NL2HLTL / NL2TL-dataset

Ctrl+K

Ctrl+K

1 contributor

History: 3 commits

tt-dart's picture

update readme

d834d9d 7 months ago

collect
add dataset 8 months ago
collect2
update readme 7 months ago
datasets-Efficient-Eng-2-LTL
add dataset 8 months ago
datasets-Lang2LTL
add dataset 8 months ago
datasets-NL2TL_data_github
add dataset 8 months ago
datasets-nl2spec
add dataset 8 months ago
NLTLsummary.json

23 kB
LFS

add dataset 8 months ago