NL2HLTL / NL2TL-dataset /collect /ltl_eng_1.jsonl
tt-dart's picture
add dataset
784a7e2
This file is stored with Xet . It is too big to display, but you can still download it.

Large File Pointer Details

( Raw pointer file )
SHA256:
55879344ea92bf9073b1b605dda98cfe551b9169186dde31592d15c9a24d47e4
Pointer size:
132 Bytes
·
Size of remote file:
1.04 MB
·
Xet backed hash:
0a0a93e852c2cd5d98f67b52ffa89dbe47bf26b0b18b16a5a25a40f992f040f3

Xet efficiently stores Large Files inside Git, intelligently splitting files into unique chunks and accelerating uploads and downloads. More info.