Code

Update Checkpoints Format#63

Code

Merged

yangky11 merged 14 commits intomainlean-dojo/ReProver:mainfrom devlean-dojo/ReProver:devCopy head branch name to clipboardJul 16, 2024

+972-813

Commits

Commits on Jul 2, 2024

• add torchtune

  yangky11

  committed
  777265a

  Copy full SHA for 777265a

Commits on Jul 6, 2024

• update

  yangky11

  committed
  abe325e

  Copy full SHA for abe325e

• Synchronous vLLM working

  yangky11

  committed
  b9a83f8

  Copy full SHA for b9a83f8

Commits on Jul 9, 2024

• vLLM + LLaMA works well

  yangky11

  committed
  3c6dafd

  Copy full SHA for 3c6dafd

• AsyncVllmActor

  yangky11

  committed
  6f1d9c4

  Copy full SHA for 6f1d9c4

Commits on Jul 12, 2024

• update

  yangky11

  committed
  a554532

  Copy full SHA for a554532

• update index.py

  yangky11

  committed
  40e07a6

  Copy full SHA for 40e07a6

• update

  yangky11

  committed
  04c80fb

  Copy full SHA for 04c80fb

• add file

  yangky11

  committed
  d2de547

  Copy full SHA for d2de547

Commits on Jul 13, 2024

• update

  yangky11

  committed
  d346981

  Copy full SHA for d346981

• format code

  yangky11

  committed
  1c2b541

  Copy full SHA for 1c2b541

• minor fix

  yangky11

  committed
  4263cfb

  Copy full SHA for 4263cfb

Commits on Jul 15, 2024

• minor fix

  yangky11

  committed
  e2ec3fd

  Copy full SHA for e2ec3fd

Commits on Jul 16, 2024

• update

  yangky11

  committed
  e643d94

  Copy full SHA for e643d94