Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit history

Commits on Dec 7, 2023

• format

  

  Kaiyu Yang

  committed
  e56890d

  Copy full SHA for e56890d

• minor

  Peiyang-Song

  committed
  1f73040

  Copy full SHA for 1f73040

Commits on Dec 6, 2023

• done

  

  Kaiyu Yang

  committed
  42cb804

  Copy full SHA for 42cb804

Commits on Dec 5, 2023

• WIP

  

  Kaiyu Yang

  committed
  a2cace5

  Copy full SHA for a2cace5

• WIP

  

  Kaiyu Yang

  committed
  9f11dc8

  Copy full SHA for 9f11dc8

Commits on Nov 30, 2023

• Merge branch 'peiyang-premise-selection' of github.com:lean-dojo/LeanInfer into peiyang-premise-selection

  

  Kaiyu Yang

  committed
  a0c310a

  Copy full SHA for a0c310a

• WIP

  

  Kaiyu Yang

  committed
  bc20506

  Copy full SHA for bc20506

• Chores: code formatting

  Peiyang-Song

  committed
  b59d78d

  Copy full SHA for b59d78d

• Chores: code cleanup

  Peiyang-Song

  committed
  b795298

  Copy full SHA for b795298

• Add path and code information if not found in current env

  Peiyang-Song

  committed
  9bff9f0

  Copy full SHA for 9bff9f0

Commits on Nov 29, 2023

• Change dictionary content to also contain path and code

  Peiyang-Song

  committed
  7a16c13

  Copy full SHA for 7a16c13

• WIP

  

  Kaiyu Yang

  committed
  ff7e02c

  Copy full SHA for ff7e02c

• remove onnx

  

  Kaiyu Yang

  committed
  864e9bf

  Copy full SHA for 864e9bf

Commits on Nov 28, 2023

• Chores: format

  Peiyang-Song

  committed
  3626fe1

  Copy full SHA for 3626fe1

• Succeed on CPU, buggy on CUDA.

  Peiyang-Song

  committed
  b36077f

  Copy full SHA for b36077f

• Clean up unnecessary imports and format cpp files properly

  Peiyang-Song

  committed
  1f4199e

  Copy full SHA for 1f4199e

• Large cleanup without functional changes

  Peiyang-Song

  committed
  52b342e

  Copy full SHA for 52b342e

• Fix suggestion quality bug

  Peiyang-Song

  committed
  6e5295b

  Copy full SHA for 6e5295b

• Add premise string lookup

  Peiyang-Song

  committed
  3498cac

  Copy full SHA for 3498cac

• Add Json loading from C++, loading from Lean hangs

  Peiyang-Song

  committed
  49f79b2

  Copy full SHA for 49f79b2

Commits on Nov 24, 2023

• Finish everything in retrieval

  Peiyang-Song

  committed
  30075d1

  Copy full SHA for 30075d1

• Finish retrieve topK indices

  Peiyang-Song

  committed
  0c0ffe4

  Copy full SHA for 0c0ffe4

• Add loading from npy to cpp

  Peiyang-Song

  committed
  3806ec4

  Copy full SHA for 3806ec4

• Finish retrieval framework with ct2 ops

  Peiyang-Song

  committed
  d1cad8a

  Copy full SHA for d1cad8a

Commits on Oct 21, 2023

• encoder done

  

  Kaiyu Yang

  committed
  d0824a7

  Copy full SHA for d0824a7

• add target prefix

  

  Kaiyu Yang

  committed
  4d4c764

  Copy full SHA for 4d4c764

Commits on Oct 20, 2023

• lgtm

  

  Kaiyu Yang

  committed
  f57da53

  Copy full SHA for f57da53

Commits on Oct 19, 2023

• utf8 bug fixed

  

  Kaiyu Yang

  committed
  d2d99ca

  Copy full SHA for d2d99ca

• debugging utf8

  

  Kaiyu Yang

  committed
  17772ee

  Copy full SHA for 17772ee

Commits on Oct 18, 2023

• minor fix

  

  Kaiyu Yang

  committed
  8295ea0

  Copy full SHA for 8295ea0

• minor

  

  Kaiyu Yang

  committed
  827a442

  Copy full SHA for 827a442

• add exp

  

  Kaiyu Yang

  committed
  8774f74

  Copy full SHA for 8774f74

• fix bug

  

  Kaiyu Yang

  committed
  2f3ae51

  Copy full SHA for 2f3ae51

• use model-generated scores

  

  Kaiyu Yang

  committed
  8c0c049

  Copy full SHA for 8c0c049

• fix utf8

  

  Kaiyu Yang

  committed
  4e1906c

  Copy full SHA for 4e1906c