NL2HLTL / NL2TL-dataset /collect /ltl_eng_test.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:
0982bf8999ef200b1d7fa5c867b70e41caf136b7a4422e73eb303f7ee77b02dd
Pointer size:
131 Bytes
·
Size of remote file:
132 kB
·
Xet backed hash:
4a11a13eadd794d731fcb09c89d03744a2c5ae9b52a93271cc54db840ff93ce0

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