Commit History

Upload 5 files
3aa12a9

kaiyuy commited on

Delete pytorch_model.bin
c5a992c

kaiyuy commited on

update the model trained on LeanDojo Benchmark v2
d87b727

Kaiyu Yang commited on

Update README.md
7542e68

kaiyuy commited on

Update README.md
06a8130

kaiyuy commited on

Update README.md
d8ee863

kaiyuy commited on

Update README.md
73ed4da

kaiyuy commited on

Update README.md
66353ce

kaiyuy commited on

Update README.md
821a115

kaiyuy commited on

Upload 4 files
ebc6aca

kaiyuy commited on

initial commit
2b2f4b2

Kaiyu Yang commited on