Skip to content

Actions: ZJUVAI/LEAN-Eval

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add tips and errors Lean Action CI #31: Commit 71ffb21 pushed by maksymilan
1m 29s main
main
1m 29s
dead lock resolved, simple problems solve, need to add tips and erros… Lean Action CI #30: Commit 9262127 pushed by maksymilan
1m 29s main
main
1m 29s
prompt reconstruct Lean Action CI #29: Commit 7e5283c pushed by maksymilan
1m 33s main
main
1m 33s
Merge branch 'main' of lean-eval:ZJUVAI/LEAN-Eval Lean Action CI #28: Commit 3d32d1c pushed by maksymilan
1m 30s main
main
1m 30s
update the latest datasets, now need to solve NCCL problem Lean Action CI #27: Commit 50fd1c1 pushed by maksymilan
2m 26s main
main
2m 26s
adding data format Lean Action CI #26: Commit 4aa26c4 pushed by MinfengZhu
1m 52s dev
dev
1m 52s
multi turn inferencing and minif2f dataset processing Lean Action CI #25: Commit fda1489 pushed by maksymilan
1m 34s main
main
1m 34s
refine schema and dataset downloader Lean Action CI #24: Commit 646c6f9 pushed by maksymilan
1m 49s main
main
1m 49s
add runner module Lean Action CI #23: Commit ca0066c pushed by maksymilan
1m 35s main
main
1m 35s
no debug for the first version of search strategy Lean Action CI #22: Commit 23be052 pushed by maksymilan
1m 38s main
main
1m 38s
Merge pull request #8 from Sponge10007/main Lean Action CI #21: Commit 0568adc pushed by maksymilan
1m 30s main
main
1m 30s
提交了下载数据集的模块 Lean Action CI #20: Pull request #8 opened by Sponge10007
1m 33s Sponge10007:main
Sponge10007:main
1m 33s
Merge pull request #7 from dcx1111/main Lean Action CI #19: Commit 5c7db77 pushed by maksymilan
1m 33s main
main
1m 33s
重构 Lean Action CI #18: Pull request #7 opened by dcx1111
1m 33s dcx1111:main
dcx1111:main
1m 33s
adding data format Lean Action CI #17: Commit 4aa26c4 pushed by maksymilan
1m 33s main
main
1m 33s
模块化设计 Lean Action CI #16: Pull request #3 synchronize by maksymilan
1m 32s dev
dev
1m 32s
enable multi gpu inferecing Lean Action CI #15: Commit 36bed3c pushed by maksymilan
1m 34s dev
dev
1m 34s
基本完成了单步 Lean Action CI #14: Pull request #5 opened by dcx1111
1m 58s dcx
dcx
1m 58s
基本上完善了validator Lean Action CI #13: Pull request #4 opened by dcx1111
2m 12s dcx
dcx
2m 12s
初步构建完成 Lean Action CI #12: Commit e268d76 pushed by maksymilan
1m 33s dev
dev
1m 33s
模块化设计 Lean Action CI #11: Pull request #3 synchronize by maksymilan
1m 48s dev
dev
1m 48s
模块化设计 Lean Action CI #10: Pull request #3 opened by maksymilan
1m 33s dev
dev
1m 33s
模块化设计 Lean Action CI #9: Commit afd1267 pushed by maksymilan
1m 34s dev
dev
1m 34s
Modular design Lean Action CI #8: Commit 108c84e pushed by maksymilan
1m 50s main
main
1m 50s
Merge pull request #2 from Sponge10007/main Lean Action CI #7: Commit f0a4485 pushed by maksymilan
1m 34s main
main
1m 34s