deepmath icon indicating copy to clipboard operation
deepmath copied to clipboard

Published 20 hours ago • verified publisher icon tensorflow

Missing Dataset

Open zhaoyu-li opened this issue 3 years ago • 0 comments

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 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!

zhaoyu-li avatar Feb 16 '22 00:02 zhaoyu-li