Code

Enabling vllm-based prover#40

Code

Merged

yangky11 merged 7 commits intolean-dojo:devlean-dojo/ReProver:devfrom albertqjiang:aj/vllm_enabledalbertqjiang/ReProver:aj/vllm_enabledCopy head branch name to clipboardApr 5, 2024

+215-32

Commits

Commits on Jan 6, 2024

• vllm

  albertqjiang

  committed
  eb07814

  Copy full SHA for eb07814

• make it work

  albertqjiang

  committed
  ad355e3

  Copy full SHA for ad355e3

Commits on Jan 7, 2024

• d

  albertqjiang

  committed
  b9ca6ed

  Copy full SHA for b9ca6ed

• d

  albertqjiang

  committed
  99ec016

  Copy full SHA for 99ec016

Commits on Jan 8, 2024

• Update prover/proof_search.py

  albertqjiang

  authored
  b486963

  Copy full SHA for b486963

Commits on Jan 12, 2024

• make it work

  albertqjiang

  committed
  a055551

  Copy full SHA for a055551

Commits on Apr 5, 2024

• Merge branch 'dev' into aj/vllm_enabled

  

  Kaiyu Yang

  authored
  655818f

  Copy full SHA for 655818f