{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":615015099,"defaultBranch":"main","name":"ReProver","ownerLogin":"lean-dojo","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-03-16T19:23:13.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/136513911?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1712327360.0","currentOid":""},"activityList":{"items":[{"before":"3d68aef3bbbee0636a2a836670a6fe64e1659caa","after":"fe8841bcff09525106b64c032c0407faa7d63e4d","ref":"refs/heads/main","pushedAt":"2024-05-10T20:50:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"060e67d235bbe2877e0eedd582815a48adb67fb6","after":"3d68aef3bbbee0636a2a836670a6fe64e1659caa","ref":"refs/heads/main","pushedAt":"2024-04-26T23:33:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"116a7d5fdfe0ad911b142b1100750ee17d691d1c","after":"060e67d235bbe2877e0eedd582815a48adb67fb6","ref":"refs/heads/main","pushedAt":"2024-04-19T17:24:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"0b75b48085dc26e3617d5dbdf7743729a9a6f3ca","after":"116a7d5fdfe0ad911b142b1100750ee17d691d1c","ref":"refs/heads/main","pushedAt":"2024-04-14T16:32:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"decrease num_workers","shortMessageHtmlLink":"decrease num_workers"}},{"before":"285665caf2b3d8d79fbc716ee03f2cb4235c657e","after":"0b75b48085dc26e3617d5dbdf7743729a9a6f3ca","ref":"refs/heads/main","pushedAt":"2024-04-14T15:23:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"format code","shortMessageHtmlLink":"format code"}},{"before":"4d6b89b3efd8b55c280fb41b47843fddc586f764","after":"285665caf2b3d8d79fbc716ee03f2cb4235c657e","ref":"refs/heads/main","pushedAt":"2024-04-14T15:13:06.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Merge pull request #49 from matt-seb-ho/evaluate-sorting-fix\n\nJointly sort theorems and positions in `evaluate.py`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2234721440\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lean-dojo/ReProver/issues/49\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lean-dojo/ReProver/pull/49/hovercard\" href=\"https://github.com/lean-dojo/ReProver/pull/49\">#49</a> from matt-seb-ho/evaluate-sorting-fix"}},{"before":"6aaf3acfd59589467bd39d5110c318d8cb0402a7","after":"4d6b89b3efd8b55c280fb41b47843fddc586f764","ref":"refs/heads/main","pushedAt":"2024-04-12T04:21:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"minor fix","shortMessageHtmlLink":"minor fix"}},{"before":"d69dc3072acae36d9a4a61475675ee6a8a6d1156","after":"6aaf3acfd59589467bd39d5110c318d8cb0402a7","ref":"refs/heads/main","pushedAt":"2024-04-11T03:15:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"exit early when a proof is found","shortMessageHtmlLink":"exit early when a proof is found"}},{"before":"822dcb1c623aa288d3ad62aaa2255f8ab4f7d0ac","after":"d69dc3072acae36d9a4a61475675ee6a8a6d1156","ref":"refs/heads/main","pushedAt":"2024-04-10T14:54:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"b41d9c37f681510e9e17ac135ad735cd7d94152f","after":null,"ref":"refs/heads/aesop","pushedAt":"2024-04-05T14:29:20.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"}},{"before":"bff3a5107774144a241defb4c7009edc7bb846de","after":null,"ref":"refs/heads/dev","pushedAt":"2024-04-05T14:29:12.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"}},{"before":null,"after":"bff3a5107774144a241defb4c7009edc7bb846de","ref":"refs/heads/vLLM","pushedAt":"2024-04-05T14:28:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"format code","shortMessageHtmlLink":"format code"}},{"before":"3236b83519e65a477bd8d81367d083d8529b533b","after":"bff3a5107774144a241defb4c7009edc7bb846de","ref":"refs/heads/dev","pushedAt":"2024-04-05T14:28:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"format code","shortMessageHtmlLink":"format code"}},{"before":"822dcb1c623aa288d3ad62aaa2255f8ab4f7d0ac","after":"3236b83519e65a477bd8d81367d083d8529b533b","ref":"refs/heads/dev","pushedAt":"2024-04-05T14:04:48.000Z","pushType":"pr_merge","commitsCount":8,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Merge pull request #40 from albertqjiang/aj/vllm_enabled\n\nEnabling vllm-based prover","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2069266469\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lean-dojo/ReProver/issues/40\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lean-dojo/ReProver/pull/40/hovercard\" href=\"https://github.com/lean-dojo/ReProver/pull/40\">#40</a> from albertqjiang/aj/vllm_enabled"}},{"before":"6e735a9a16929cf658bf12e861392ed2d2bd1122","after":"822dcb1c623aa288d3ad62aaa2255f8ab4f7d0ac","ref":"refs/heads/dev","pushedAt":"2024-04-05T02:56:49.000Z","pushType":"push","commitsCount":17,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"a8fe0370632c943a34a10045c4877657d9b42f7e","after":"822dcb1c623aa288d3ad62aaa2255f8ab4f7d0ac","ref":"refs/heads/main","pushedAt":"2024-04-04T22:21:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"db2744d36f46980a18f12a841e7dacd023c0b408","after":"a8fe0370632c943a34a10045c4877657d9b42f7e","ref":"refs/heads/main","pushedAt":"2024-03-30T23:37:58.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"running","shortMessageHtmlLink":"running"}},{"before":"bb3c1cf06ddd026042fef0f3ff6ab97f142f9c46","after":"db2744d36f46980a18f12a841e7dacd023c0b408","ref":"refs/heads/main","pushedAt":"2024-03-24T17:43:59.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Merge branch 'main' of https://github.com/lean-dojo/ReProver","shortMessageHtmlLink":"Merge branch 'main' of <a href=\"https://github.com/lean-dojo/ReProver\">https://github.com/lean-dojo/ReProver</a>"}},{"before":"0dbb82e3507cb8303dbb550bdb96bfbbb37e1ced","after":"bb3c1cf06ddd026042fef0f3ff6ab97f142f9c46","ref":"refs/heads/main","pushedAt":"2024-03-23T03:08:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"8be250f78bb141996ce90b8c41c9052b46e4e14f","after":"0dbb82e3507cb8303dbb550bdb96bfbbb37e1ced","ref":"refs/heads/main","pushedAt":"2024-03-16T02:12:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"update date","shortMessageHtmlLink":"update date"}},{"before":"b89e2581516a3058a25bedc62b13c39563aaf7ed","after":"8be250f78bb141996ce90b8c41c9052b46e4e14f","ref":"refs/heads/main","pushedAt":"2024-03-16T01:56:55.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:lean-dojo/ReProver","shortMessageHtmlLink":"Merge branch 'main' of github.com:lean-dojo/ReProver"}},{"before":"b904402f4e9378c1824e3e7b5b3ebc48082b30d9","after":"b89e2581516a3058a25bedc62b13c39563aaf7ed","ref":"refs/heads/main","pushedAt":"2024-03-13T03:36:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":null,"after":"b904402f4e9378c1824e3e7b5b3ebc48082b30d9","ref":"refs/heads/legacy","pushedAt":"2024-03-13T03:34:05.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"format code","shortMessageHtmlLink":"format code"}},{"before":"9d4e09a632333284db6211d1a5cb01ff37b2e4b9","after":"b904402f4e9378c1824e3e7b5b3ebc48082b30d9","ref":"refs/heads/main","pushedAt":"2024-03-13T03:31:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"format code","shortMessageHtmlLink":"format code"}},{"before":"f705b0b4a02ce780929a8d19c8270e9fdddeab9f","after":"9d4e09a632333284db6211d1a5cb01ff37b2e4b9","ref":"refs/heads/main","pushedAt":"2024-03-13T02:51:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"aae0b369fe07111fcb4a8cbb7104efb07943b6b8","after":"f705b0b4a02ce780929a8d19c8270e9fdddeab9f","ref":"refs/heads/main","pushedAt":"2024-01-17T20:40:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"3aaf63c874e036fec6f54ab1b18a7c8827f5f730","after":"aae0b369fe07111fcb4a8cbb7104efb07943b6b8","ref":"refs/heads/main","pushedAt":"2024-01-17T20:26:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"27317a8a1fe186535121c2546d693df23d777aa7","after":"7befc8c34fbe2a592b301db83da7163fbcabbb67","ref":"refs/heads/decoder-only","pushedAt":"2023-12-28T02:00:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"minor update","shortMessageHtmlLink":"minor update"}},{"before":"5230a5ab25c907741bc939714d1e0021bf5f755e","after":"27317a8a1fe186535121c2546d693df23d777aa7","ref":"refs/heads/decoder-only","pushedAt":"2023-12-28T01:53:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"minor update","shortMessageHtmlLink":"minor update"}},{"before":"7b69c084f7c8d9c238d0e34c4b3af1cb39cc5489","after":"5230a5ab25c907741bc939714d1e0021bf5f755e","ref":"refs/heads/decoder-only","pushedAt":"2023-12-27T17:17:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"training EleutherAI/llemma_7b","shortMessageHtmlLink":"training EleutherAI/llemma_7b"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAERuyWZwA","startCursor":null,"endCursor":null}},"title":"Activity · lean-dojo/ReProver"}