Datasets and Data Generation

[Pengwei-Jin]

Hi,
I am trying to replicate the results of the paper Neural Circuit Synthesis from Specification Patterns. It seems that LTLSpecPatternData needs to be downloaded from GCP using the function download_path (

ml2/ml2/gcp_bucket.py

Line 67 in fa917fc

def download_path(

), but credentials are not provided. Could you provide the direct links of LTLSpecPatternData?