NL2HLTL
/
NL2TL-dataset
/datasets-NL2TL_data_github
/Data_transfer_domain
/circuit_total_refined.jsonl
Git LFS Details
- SHA256: 29be14b96cb7519d73901f6ed1c02d85bb29ee1a3ed1f306f3ffe0af272fca81
- Pointer size: 132 Bytes
- Size of remote file: 7.51 MB
Git Large File Storage (LFS) replaces large files with text pointers inside Git, while storing the file contents on a remote server. More info.