-
remove out-dated files
-
Merge branch 'tmp'
-
add as_a603a42.ckpt
-
add file
-
add ev_4d5cccp.ckpt
-
add v9.premise.pickle
-
add v9.premise.corpus
-
rename to reflect ckpt version
-
rename
-
update reprover
-
update ev ckpt into ev7_enc_v6
-
merge
-
add indexed corpus for our dataset
-
ev_enc0 length4 -> 7
-
add ev_enc0.ckpt
-
add evaluator ckpt
-
add retriever.ckpt
-
add trace repo
-
add indexed_corpus
-
add tacgen
-
Create readme.md
-
Upload predictions.pickle
-
initial commit