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 (
), but credentials are not provided. Could you provide the direct links of LTLSpecPatternData?
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