{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":719239478,"defaultBranch":"main","name":"Formal-LLM","ownerLogin":"agiresearch","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-11-15T18:52:50.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/130198651?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1711755497.0","currentOid":""},"activityList":{"items":[{"before":"395dde8585eb9fe0cae422552c7f3830f14cc0d8","after":"c9ab5386541faf30c466d3c56d1e1afba9fdabec","ref":"refs/heads/submission","pushedAt":"2024-03-29T23:58:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lzl65825","name":null,"path":"/lzl65825","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20111666?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"b1c9a7a81e20158e34065a0c24ad8210263da06a","after":"395dde8585eb9fe0cae422552c7f3830f14cc0d8","ref":"refs/heads/submission","pushedAt":"2024-03-29T23:40:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lzl65825","name":null,"path":"/lzl65825","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20111666?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":null,"after":"b1c9a7a81e20158e34065a0c24ad8210263da06a","ref":"refs/heads/submission","pushedAt":"2024-03-29T23:38:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lzl65825","name":null,"path":"/lzl65825","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20111666?s=80&v=4"},"commit":{"message":"fix: typos","shortMessageHtmlLink":"fix: typos"}},{"before":"530ee378e7296dacd32be354edf8e5fea02fab80","after":"b1c9a7a81e20158e34065a0c24ad8210263da06a","ref":"refs/heads/main","pushedAt":"2024-03-04T05:21:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lzl65825","name":null,"path":"/lzl65825","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20111666?s=80&v=4"},"commit":{"message":"fix: typos","shortMessageHtmlLink":"fix: typos"}},{"before":"c75aace866288fd43b856c22b3adb94235890e80","after":null,"ref":"refs/heads/dependabot/pip/langchain-0.1.0","pushedAt":"2024-03-04T04:50:20.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"52722a65daf902f1bb8c94735541496734b35a49","after":"530ee378e7296dacd32be354edf8e5fea02fab80","ref":"refs/heads/main","pushedAt":"2024-03-04T04:50:13.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"lzl65825","name":null,"path":"/lzl65825","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20111666?s=80&v=4"},"commit":{"message":"Merge pull request #2 from agiresearch/dependabot/pip/langchain-0.1.0\n\nBump langchain from 0.0.153 to 0.1.0","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2165920606\" data-permission-text=\"Title is private\" data-url=\"https://github.com/agiresearch/Formal-LLM/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/agiresearch/Formal-LLM/pull/2/hovercard\" href=\"https://github.com/agiresearch/Formal-LLM/pull/2\">#2</a> from agiresearch/dependabot/pip/langchain-0.1.0"}},{"before":null,"after":"c75aace866288fd43b856c22b3adb94235890e80","ref":"refs/heads/dependabot/pip/langchain-0.1.0","pushedAt":"2024-03-04T04:48:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump langchain from 0.0.153 to 0.1.0\n\nBumps [langchain](https://github.com/langchain-ai/langchain) from 0.0.153 to 0.1.0.\n- [Release notes](https://github.com/langchain-ai/langchain/releases)\n- [Commits](https://github.com/langchain-ai/langchain/compare/v0.0.153...v0.1.0)\n\n---\nupdated-dependencies:\n- dependency-name: langchain\n  dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump langchain from 0.0.153 to 0.1.0"}},{"before":"d2e715b6f9cd9c23ed1314227c307fdc43633820","after":"52722a65daf902f1bb8c94735541496734b35a49","ref":"refs/heads/main","pushedAt":"2024-02-06T02:11:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"agiresearch","name":"AGI Research","path":"/agiresearch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/130198651?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"a604883ae9e2b28d4a1c8065a86064dadff20904","after":"d2e715b6f9cd9c23ed1314227c307fdc43633820","ref":"refs/heads/main","pushedAt":"2024-02-06T02:11:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"agiresearch","name":"AGI Research","path":"/agiresearch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/130198651?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"1fef082ccc29496eb628cf2552b7b19098ff57c7","after":"a604883ae9e2b28d4a1c8065a86064dadff20904","ref":"refs/heads/main","pushedAt":"2024-02-06T02:10:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"agiresearch","name":"AGI Research","path":"/agiresearch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/130198651?s=80&v=4"},"commit":{"message":"Add files via upload","shortMessageHtmlLink":"Add files via upload"}},{"before":"fc70c86e22f2b8bdd54430b016d81c59d6ff15dd","after":"1fef082ccc29496eb628cf2552b7b19098ff57c7","ref":"refs/heads/main","pushedAt":"2024-02-06T02:10:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"agiresearch","name":"AGI Research","path":"/agiresearch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/130198651?s=80&v=4"},"commit":{"message":"Create test","shortMessageHtmlLink":"Create test"}},{"before":"b9ae2cfaf5fa0ac9fa56f5fa6630822fbf57da96","after":"fc70c86e22f2b8bdd54430b016d81c59d6ff15dd","ref":"refs/heads/main","pushedAt":"2024-02-06T02:07:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"agiresearch","name":"AGI Research","path":"/agiresearch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/130198651?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"c42b685b78faf1b9cc7cc7320b60f570cc794deb","after":"b9ae2cfaf5fa0ac9fa56f5fa6630822fbf57da96","ref":"refs/heads/main","pushedAt":"2024-02-06T02:01:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"evison","name":"Yongfeng Zhang","path":"/evison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10415541?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"6c61c73bbd23a8c3474cbd2ce7e84ad25b24820d","after":"c42b685b78faf1b9cc7cc7320b60f570cc794deb","ref":"refs/heads/main","pushedAt":"2024-02-04T19:17:15.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"lzl65825","name":null,"path":"/lzl65825","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20111666?s=80&v=4"},"commit":{"message":"Merge pull request #1 from eltociear/patch-1\n\nUpdate combine_model_seq.py","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2117233995\" data-permission-text=\"Title is private\" data-url=\"https://github.com/agiresearch/Formal-LLM/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/agiresearch/Formal-LLM/pull/1/hovercard\" href=\"https://github.com/agiresearch/Formal-LLM/pull/1\">#1</a> from eltociear/patch-1"}},{"before":"00cbab86515d77d070f044228faebed7b0e6a41c","after":"6c61c73bbd23a8c3474cbd2ce7e84ad25b24820d","ref":"refs/heads/main","pushedAt":"2024-02-02T14:42:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lzl65825","name":null,"path":"/lzl65825","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20111666?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"8516025f39651827f1a5172ebd404b47f8dcc15f","after":"00cbab86515d77d070f044228faebed7b0e6a41c","ref":"refs/heads/main","pushedAt":"2024-02-01T20:07:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"agiresearch","name":"AGI Research","path":"/agiresearch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/130198651?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"fcf1bf60f52fb32c2005390948ed5d9ec9c36f48","after":"8516025f39651827f1a5172ebd404b47f8dcc15f","ref":"refs/heads/main","pushedAt":"2024-02-01T20:07:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"agiresearch","name":"AGI Research","path":"/agiresearch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/130198651?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"2118ba4d18992de363dcc2e424a5a51daa7eb0c7","after":"fcf1bf60f52fb32c2005390948ed5d9ec9c36f48","ref":"refs/heads/main","pushedAt":"2024-02-01T20:06:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"agiresearch","name":"AGI Research","path":"/agiresearch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/130198651?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"2ec9c3f217b90b5ad5272444d6396a3555ee03e1","after":"2118ba4d18992de363dcc2e424a5a51daa7eb0c7","ref":"refs/heads/main","pushedAt":"2024-01-31T18:51:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lzl65825","name":null,"path":"/lzl65825","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20111666?s=80&v=4"},"commit":{"message":"fix typo in README","shortMessageHtmlLink":"fix typo in README"}},{"before":"8e2b65df5a7f52f5dc98b9b1d86b297791f04710","after":"2ec9c3f217b90b5ad5272444d6396a3555ee03e1","ref":"refs/heads/main","pushedAt":"2024-01-31T18:50:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lzl65825","name":null,"path":"/lzl65825","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20111666?s=80&v=4"},"commit":{"message":"fix minor bugs about LoRA","shortMessageHtmlLink":"fix minor bugs about LoRA"}},{"before":"9f7300f81656fc888681c9026cd6b3818c957c13","after":"8e2b65df5a7f52f5dc98b9b1d86b297791f04710","ref":"refs/heads/main","pushedAt":"2024-01-31T01:50:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lzl65825","name":null,"path":"/lzl65825","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20111666?s=80&v=4"},"commit":{"message":"include tools used in Openagi to make the codes runnable.","shortMessageHtmlLink":"include tools used in Openagi to make the codes runnable."}},{"before":"6554823c6d32d6f5d89d7c363630cf5e313809c6","after":"9f7300f81656fc888681c9026cd6b3818c957c13","ref":"refs/heads/main","pushedAt":"2024-01-31T01:47:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lzl65825","name":null,"path":"/lzl65825","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20111666?s=80&v=4"},"commit":{"message":"Formal LLM codes init","shortMessageHtmlLink":"Formal LLM codes init"}},{"before":"2ef4a7a965201d144177a414f9fdc57d2003c066","after":"6554823c6d32d6f5d89d7c363630cf5e313809c6","ref":"refs/heads/main","pushedAt":"2024-01-24T21:30:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"agiresearch","name":"AGI Research","path":"/agiresearch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/130198651?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"0d4a588f1e07fceab7d3358cea68e36dfced1e1c","after":"2ef4a7a965201d144177a414f9fdc57d2003c066","ref":"refs/heads/main","pushedAt":"2023-12-01T02:41:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lzl65825","name":null,"path":"/lzl65825","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20111666?s=80&v=4"},"commit":{"message":"runnable version","shortMessageHtmlLink":"runnable version"}},{"before":null,"after":"0d4a588f1e07fceab7d3358cea68e36dfced1e1c","ref":"refs/heads/main","pushedAt":"2023-11-15T18:52:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"agiresearch","name":"AGI Research","path":"/agiresearch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/130198651?s=80&v=4"},"commit":{"message":"Initial commit","shortMessageHtmlLink":"Initial commit"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEIwvzNgA","startCursor":null,"endCursor":null}},"title":"Activity · agiresearch/Formal-LLM"}