Commit History

  1. remove out-dated files

    d15c22c
  2. Merge branch 'tmp'

    0bd4854
  3. add as_a603a42.ckpt

    a12a265

  1. add file

    e5f9c56

  1. add ev_4d5cccp.ckpt

    3229f5a

  1. add v9.premise.pickle

    5876740
  2. add v9.premise.corpus

    778441d
  3. rename to reflect ckpt version

    a83bc8a

  1. rename

    35821c8
  2. update reprover

    f0f6afd

  1. update ev ckpt into ev7_enc_v6

    0a950e8

  1. merge

    c9db482
  2. add indexed corpus for our dataset

    30711bf

  1. ev_enc0 length4 -> 7

    f1dd88c

  1. add ev_enc0.ckpt

    5449919

  1. add evaluator ckpt

    e674e5b

  1. add retriever.ckpt

    7bd2db5

  1. add trace repo

    2d8f5bb
  2. add indexed_corpus

    309ec44
  3. add tacgen

    f46d4b8
  4. Create readme.md

    Verified signature
    beec1c0
  5. Upload predictions.pickle

    Verified signature
    d480ff4
  6. initial commit

    Verified signature
    64e40c6