deepmath issues

Missing Dataset

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

zhaoyu-li

[*.py] Rename "Arguments:" to "Args:"

I've written custom parsers and emitters for everything from docstrings to classes and functions. However, I recently came across an issue with the TensorFlow codebase: inconsistent use of `Args:` and...

SamuelMarks

No Dockerfile for deephol container. Dockerfile for deepmath doesn't build

We're trying to run DeepHOL Neural Prover, mentioned here: https://sites.google.com/view/holist/home We need to modify some of the code in the container to run it. The github link for this container...

RPrenger

Question about the holstep dataset

Hi ,I am currently working on premise selection (HOLSTEP : A MACHINE LEARNING DATASET FOR HIGHER - ORDER LOGIC THEOREM PROVING), I questioned about this issue: for a conjecture instance,...

AI-coder