NL2HLTL / NL2TL-dataset /collect /ltl_eng_train_mid_ascii_gptAuged.jsonl

add dataset

784a7e2 10 months ago

1.13 MB

This file is stored with Xet . It is too big to display, but you can still download it.

( Raw pointer file )

SHA256:: cea13abc2204906d232ea88b78830ad6be09e01dbd5b7ad7ec9da9dff2f6c777
Pointer size:: 132 Bytes
Size of remote file:: 1.13 MB
Xet backed hash:: e09e3db581cf967c634a0edfc1710d8b5d6613efc22c5a6ca78dde45173e3a3c

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