You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I would like to download deep-hol proofs and training data by following the instruction from https://sites.google.com/view/holist/home, the prompt suggests that HTTP request sent, awaiting response... 404 Not Found. It seems like the specified bucket does not exist.
Is it possible to obtain the deep-hol data by other instructions or could you please help me figure it out? Thanks in advance!
Hi,
I would like to download deep-hol proofs and training data by following the instruction from
https://sites.google.com/view/holist/home, the prompt suggests thatHTTP request sent, awaiting response... 404 Not Found. It seems like the specified bucket does not exist.Is it possible to obtain the deep-hol data by other instructions or could you please help me figure it out? Thanks in advance!