Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up

tt-dart
/

NL2HLTL

Model card Files Files and versions Community

NL2HLTL / NL2TL-dataset /datasets-Lang2LTL

1 contributor

History: 1 commit

tt-dart's picture

add dataset

784a7e2 4 months ago

README.md

241 Bytes

add dataset 4 months ago
input_500_originaltext.csv

45.4 kB
LFS

add dataset 4 months ago
seq2seqENR_validation.txt

6.37 kB
LFS

add dataset 4 months ago
seq2seqENR_validation_false.txt

1.16 kB
LFS

add dataset 4 months ago
seq2seq_validatin_results

8.35 kB

add dataset 4 months ago
seq2seq_validation_false.txt

959 Bytes
LFS

add dataset 4 months ago