Skip to content

Actions: lean-dojo/ReProver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
120 workflow runs
120 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

WIP Black Code Formatter #121: Commit 818887c pushed by yangky11
December 3, 2023 15:56 18s dev
dev
December 3, 2023 15:56 18s
Update README.md Black Code Formatter #120: Commit f43e818 pushed by yangky11
November 29, 2023 22:40 41s main
main
November 29, 2023 22:40 41s
Merge pull request #33 from irene622/irene Black Code Formatter #119: Commit 2012864 pushed by yangky11
November 19, 2023 17:28 21s main
main
November 19, 2023 17:28 21s
url, hashcode in scripts/download_data.py Black Code Formatter #118: Pull request #33 opened by irene622
November 19, 2023 15:19 18s irene622:irene
irene622:irene
November 19, 2023 15:19 18s
Update README.md Black Code Formatter #117: Commit 1e6467e pushed by yangky11
November 9, 2023 21:28 27s main
main
November 9, 2023 21:28 27s
Update download_data.py Black Code Formatter #116: Commit e19e24c pushed by rchalamala
November 7, 2023 09:53 25s generative-retrieval
generative-retrieval
November 7, 2023 09:53 25s
add MiniF2F log Black Code Formatter #115: Commit 353942e pushed by yangky11
October 28, 2023 18:23 23s main
main
October 28, 2023 18:23 23s
Update README.md Black Code Formatter #114: Commit ada8cc1 pushed by yangky11
October 27, 2023 23:22 26s main
main
October 27, 2023 23:22 26s
Update eval_MiniF2F_ProofNet.md Black Code Formatter #113: Commit a227437 pushed by yangky11
October 27, 2023 21:20 27s main
main
October 27, 2023 21:20 27s
Update README.md Black Code Formatter #112: Commit b21e486 pushed by yangky11
October 27, 2023 20:45 26s main
main
October 27, 2023 20:45 26s
minor update Black Code Formatter #111: Commit 101da0f pushed by yangky11
October 26, 2023 14:42 23s main
main
October 26, 2023 14:42 23s
update retrieval hyper-params Black Code Formatter #110: Commit 5b39907 pushed by yangky11
October 12, 2023 03:11 24s main
main
October 12, 2023 03:11 24s
add instructions for MiniF2F and ProofNet Black Code Formatter #109: Commit 86fa0ac pushed by yangky11
October 8, 2023 01:43 22s main
main
October 8, 2023 01:43 22s
fix format Black Code Formatter #108: Commit 10e245f pushed by yangky11
September 24, 2023 17:05 24s main
main
September 24, 2023 17:05 24s
Update README.md Black Code Formatter #107: Commit bbbbcbc pushed by yangky11
September 24, 2023 17:05 26s main
main
September 24, 2023 17:05 26s
Merge pull request #27 from lean-dojo/aesop Black Code Formatter #106: Commit c6cc0e2 pushed by yangky11
September 24, 2023 17:04 20s main
main
September 24, 2023 17:04 20s
Update Black Code Formatter #105: Pull request #27 opened by yangky11
September 24, 2023 17:04 23s aesop
aesop
September 24, 2023 17:04 23s
tune params Black Code Formatter #104: Commit b41d9c3 pushed by yangky11
September 24, 2023 17:02 25s aesop
aesop
September 24, 2023 17:02 25s
Merge pull request #24 from irene622/main Black Code Formatter #103: Commit 54df3b5 pushed by yangky11
September 24, 2023 17:00 20s main
main
September 24, 2023 17:00 20s
When evaluation done, add case which all theorem is discarded. Modify num_gpus in ray.init Black Code Formatter #102: Pull request #24 synchronize by irene622
September 24, 2023 15:08 22s irene622:main
irene622:main
September 24, 2023 15:08 22s
Update README.md Black Code Formatter #100: Commit 069ebd8 pushed by yangky11
September 22, 2023 05:05 22s main
main
September 22, 2023 05:05 22s
When evaluation done, add case which all theorem is discarded. Modify num_gpus in ray.init Black Code Formatter #99: Pull request #24 synchronize by irene622
September 21, 2023 07:01 28s irene622:main
irene622:main
September 21, 2023 07:01 28s
Update README.md Black Code Formatter #96: Commit af0159c pushed by yangky11
September 16, 2023 18:36 23s main
main
September 16, 2023 18:36 23s
Update README.md Black Code Formatter #95: Commit 02ce6c9 pushed by yangky11
September 16, 2023 18:31 25s main
main
September 16, 2023 18:31 25s
Update README.md Black Code Formatter #94: Commit 3d44c17 pushed by yangky11
September 14, 2023 19:55 22s main
main
September 14, 2023 19:55 22s