Commit History

  1. Merge remote-tracking branch 'origin/main'⁠

    Lukas Helff
    79ef085
  2. fix validation program

    Lukas Helff
    f567a45

  1. fix validation programm to avoid short cut learning

    f6ddc92

  1. select last rule

    62ba87c
  2. test last rule only

    bff577f
  3. rule validation post extraction

    bf1b494
  4. fix single eval

    78670b1
  5. timer back to 10 sec, remove logging messages

    499cdbd
  6. reduce timer back to 5 seconds

    a0f954f
  7. typo

    7fd2051
  8. increase timeout for parallel

    4260a70
  9. allow multiple rules

    e4484f6
  10. update reward, prevent reward hacking

    88c2435
  11. only accept one rule as a solution, we select the first one. Do not allow groundings

    999258b

  1. use multi processing only for 500 or more samples

    c8de9ce

  1. make eval config obligatory

    Lukas Helff
    0f1c352
  2. make eval config not obligatory

    Lukas Helff
    1fe4885
  3. update error message

    Lukas Helff
    ac97ee4
  4. fix app

    Lukas Helff
    79ab7b5
  5. extract rule from NL

    Lukas Helff
    58596cd

  1. add error

    03d8e50
  2. rename

    ad4ae3a
  3. Update app.py

    Verified signature
    27f212c
  4. init

    47d9ef1
  5. add module default template

    f082004
  6. initial commit

    Verified signature
    5feffa4