Commit History

Upload 6 files

4399172
verified

kaiyuy commited on Jan 17

Upload 5 files

3aa12a9

kaiyuy commited on Nov 20, 2023

Delete pytorch_model.bin

c5a992c

kaiyuy commited on Nov 20, 2023

update the model trained on LeanDojo Benchmark v2

d87b727

Kaiyu Yang commited on Sep 16, 2023

Update README.md

7542e68

kaiyuy commited on Sep 16, 2023

Update README.md

06a8130

kaiyuy commited on Jun 23, 2023

Update README.md

d8ee863

kaiyuy commited on Jun 23, 2023

Update README.md

73ed4da

kaiyuy commited on Jun 23, 2023

Update README.md

66353ce

kaiyuy commited on Jun 23, 2023

Update README.md

821a115

kaiyuy commited on Jun 23, 2023

Upload 4 files

ebc6aca

kaiyuy commited on Jun 17, 2023

initial commit

2b2f4b2

Kaiyu Yang commited on Jun 17, 2023

Commit History

Upload 6 files 4399172 verified

Upload 5 files 3aa12a9

Delete pytorch_model.bin c5a992c

update the model trained on LeanDojo Benchmark v2 d87b727

Update README.md 7542e68

Update README.md 06a8130

Update README.md d8ee863

Update README.md 73ed4da

Update README.md 66353ce

Update README.md 821a115

Upload 4 files ebc6aca

initial commit 2b2f4b2

Upload 6 files

4399172
verified

Upload 5 files

3aa12a9

Delete pytorch_model.bin

c5a992c

update the model trained on LeanDojo Benchmark v2

d87b727

Update README.md

7542e68

Update README.md

06a8130

Update README.md

d8ee863

Update README.md

73ed4da

Update README.md

66353ce

Update README.md

821a115

Upload 4 files

ebc6aca

initial commit

2b2f4b2