{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":687557147,"defaultBranch":"main","name":"neural-verification","ownerLogin":"ejmichaud","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-09-05T15:43:56.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7368212?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1710723062.0","currentOid":""},"activityList":{"items":[{"before":"cce9238c6e67603e56bb5f08e678bdcc4f59a7bd","after":"60d8378d30c77a22a2080e4908bbf19be7122f5e","ref":"refs/heads/KindXiaoming-patch-1","pushedAt":"2024-03-18T00:51:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"KindXiaoming","name":"Ziming Liu","path":"/KindXiaoming","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23551623?s=80&v=4"},"commit":{"message":"Upload the ./regression folder\n\nupload integer autoencoders and regression methods","shortMessageHtmlLink":"Upload the ./regression folder"}},{"before":null,"after":"cce9238c6e67603e56bb5f08e678bdcc4f59a7bd","ref":"refs/heads/KindXiaoming-patch-1","pushedAt":"2024-03-18T00:51:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"KindXiaoming","name":"Ziming Liu","path":"/KindXiaoming","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23551623?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"6114260e5cbbb5e20ca96fc4ea36eadfcbb4fcb6","after":"cce9238c6e67603e56bb5f08e678bdcc4f59a7bd","ref":"refs/heads/main","pushedAt":"2024-03-18T00:47:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"KindXiaoming","name":"Ziming Liu","path":"/KindXiaoming","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23551623?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"5eb21f6811fbe2ad8024ee29f1cbdfd6f4347e9e","after":"6114260e5cbbb5e20ca96fc4ea36eadfcbb4fcb6","ref":"refs/heads/main","pushedAt":"2024-03-18T00:44:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"KindXiaoming","name":"Ziming Liu","path":"/KindXiaoming","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23551623?s=80&v=4"},"commit":{"message":"Update README.md\n\nadded MIPS description","shortMessageHtmlLink":"Update README.md"}},{"before":"4d4ea99c8df75d1c5c2af39cbe64653171c2c87f","after":"5eb21f6811fbe2ad8024ee29f1cbdfd6f4347e9e","ref":"refs/heads/main","pushedAt":"2024-02-14T18:54:20.000Z","pushType":"pr_merge","commitsCount":14,"pusher":{"login":"ejmichaud","name":"Eric Michaud","path":"/ejmichaud","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7368212?s=80&v=4"},"commit":{"message":"Merge pull request #13 from ejmichaud/gpt\n\nGPT stuff done with files renamed","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2115879112\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ejmichaud/neural-verification/issues/13\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ejmichaud/neural-verification/pull/13/hovercard\" href=\"https://github.com/ejmichaud/neural-verification/pull/13\">#13</a> from ejmichaud/gpt"}},{"before":"e0904617d0bb7cfc92d7a9e795062ec9b1babe8e","after":"566998e327477b592a6e940221c091d6fb8621fe","ref":"refs/heads/gpt","pushedAt":"2024-02-13T18:52:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vdlad","name":"Vedang Lad","path":"/vdlad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/78050580?s=80&v=4"},"commit":{"message":"Merged main into gpt, keeping the gpt folder unchanged","shortMessageHtmlLink":"Merged main into gpt, keeping the gpt folder unchanged"}},{"before":"648533c51f8f6905f92ef7aa9067c20fdc620d58","after":"e0904617d0bb7cfc92d7a9e795062ec9b1babe8e","ref":"refs/heads/gpt","pushedAt":"2024-02-13T18:43:33.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"vdlad","name":"Vedang Lad","path":"/vdlad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/78050580?s=80&v=4"},"commit":{"message":"crate all","shortMessageHtmlLink":"crate all"}},{"before":"159e3664aaf16d86801bcecfe4c13d805b6a8a0f","after":"4d4ea99c8df75d1c5c2af39cbe64653171c2c87f","ref":"refs/heads/main","pushedAt":"2024-02-13T17:33:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iliao2345","name":null,"path":"/iliao2345","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29663567?s=80&v=4"},"commit":{"message":"updated README","shortMessageHtmlLink":"updated README"}},{"before":"128517c80c57adb54087e0aa5896e8e14808f26e","after":"648533c51f8f6905f92ef7aa9067c20fdc620d58","ref":"refs/heads/gpt","pushedAt":"2024-02-12T19:29:09.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"vdlad","name":"Vedang Lad","path":"/vdlad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/78050580?s=80&v=4"},"commit":{"message":"Merge branch 'gpt' of github.com:ejmichaud/neural-verification into gpt","shortMessageHtmlLink":"Merge branch 'gpt' of github.com:ejmichaud/neural-verification into gpt"}},{"before":"a1f254ebc20cf51df336225e35419b77d1b051eb","after":"128517c80c57adb54087e0aa5896e8e14808f26e","ref":"refs/heads/gpt","pushedAt":"2024-02-12T19:01:16.000Z","pushType":"push","commitsCount":37,"pusher":{"login":"vdlad","name":"Vedang Lad","path":"/vdlad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/78050580?s=80&v=4"},"commit":{"message":"Merge branch 'gpt' of github.com:ejmichaud/neural-verification into gpt","shortMessageHtmlLink":"Merge branch 'gpt' of github.com:ejmichaud/neural-verification into gpt"}},{"before":"79413f0df38b44396330925b2362eab9c0e2bc8f","after":"a1f254ebc20cf51df336225e35419b77d1b051eb","ref":"refs/heads/gpt","pushedAt":"2024-02-12T18:56:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vdlad","name":"Vedang Lad","path":"/vdlad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/78050580?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"4af82fb8cf238e2123f3c4b1003f291939f889b0","after":"159e3664aaf16d86801bcecfe4c13d805b6a8a0f","ref":"refs/heads/main","pushedAt":"2024-02-10T19:19:40.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ejmichaud","name":"Eric Michaud","path":"/ejmichaud","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7368212?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:ejmichaud/neural-verification","shortMessageHtmlLink":"Merge branch 'main' of github.com:ejmichaud/neural-verification"}},{"before":"0accfafe1a7c5896dc30579655462a6fe487d988","after":"4af82fb8cf238e2123f3c4b1003f291939f889b0","ref":"refs/heads/main","pushedAt":"2024-02-06T05:19:45.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"iliao2345","name":null,"path":"/iliao2345","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29663567?s=80&v=4"},"commit":{"message":"Merge branch 'main' of https://github.com/ejmichaud/neural-verification into main","shortMessageHtmlLink":"Merge branch 'main' of <a href=\"https://github.com/ejmichaud/neural-verification\">https://github.com/ejmichaud/neural-verification</a>…"}},{"before":"3ddc2d944d58f837ce17b107b8c92a4889d76d9f","after":"79413f0df38b44396330925b2362eab9c0e2bc8f","ref":"refs/heads/gpt","pushedAt":"2024-02-02T22:02:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vdlad","name":"Vedang Lad","path":"/vdlad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/78050580?s=80&v=4"},"commit":{"message":"final","shortMessageHtmlLink":"final"}},{"before":"6ab8f661d6d537c29f3e81b9fd15bd177d956f37","after":"3ddc2d944d58f837ce17b107b8c92a4889d76d9f","ref":"refs/heads/gpt","pushedAt":"2024-02-02T22:01:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vdlad","name":"Vedang Lad","path":"/vdlad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/78050580?s=80&v=4"},"commit":{"message":"adding gpt4","shortMessageHtmlLink":"adding gpt4"}},{"before":"24de8d0d5a6c92f80fb02814280ceab02376f94c","after":"0accfafe1a7c5896dc30579655462a6fe487d988","ref":"refs/heads/main","pushedAt":"2024-01-31T05:00:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ejmichaud","name":"Eric Michaud","path":"/ejmichaud","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7368212?s=80&v=4"},"commit":{"message":"updated yamls to remove base_8_addition","shortMessageHtmlLink":"updated yamls to remove base_8_addition"}},{"before":"1333111d13fcf4bca84ef45ceaa8a1d127f1ccdd","after":"24de8d0d5a6c92f80fb02814280ceab02376f94c","ref":"refs/heads/main","pushedAt":"2024-01-31T04:33:46.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ejmichaud","name":"Eric Michaud","path":"/ejmichaud","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7368212?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:ejmichaud/neural-verification","shortMessageHtmlLink":"Merge branch 'main' of github.com:ejmichaud/neural-verification"}},{"before":"8a9e662841dac0a6c68c26584c5dc9e4d7c737e8","after":"1333111d13fcf4bca84ef45ceaa8a1d127f1ccdd","ref":"refs/heads/main","pushedAt":"2024-01-30T04:50:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"amudide","name":"Anish Mudide","path":"/amudide","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28817835?s=80&v=4"},"commit":{"message":"Add brained model for robber task","shortMessageHtmlLink":"Add brained model for robber task"}},{"before":null,"after":"8a9e662841dac0a6c68c26584c5dc9e4d7c737e8","ref":"refs/heads/vdlad-new-yaml-rename","pushedAt":"2024-01-29T04:33:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vdlad","name":"Vedang Lad","path":"/vdlad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/78050580?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:ejmichaud/neural-verification into main","shortMessageHtmlLink":"Merge branch 'main' of github.com:ejmichaud/neural-verification into …"}},{"before":"8a9e662841dac0a6c68c26584c5dc9e4d7c737e8","after":"c160b145ba85df35e4c15ba5d7bcf4912626926c","ref":"refs/heads/vdlad-new-yaml-rename","pushedAt":"2024-01-29T04:33:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vdlad","name":"Vedang Lad","path":"/vdlad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/78050580?s=80&v=4"},"commit":{"message":"New yaml file with the rename","shortMessageHtmlLink":"New yaml file with the rename"}},{"before":"2ac6664e70c1b8fdb1d5c5bea4882dc42a689cdd","after":"8a9e662841dac0a6c68c26584c5dc9e4d7c737e8","ref":"refs/heads/main","pushedAt":"2024-01-27T19:22:56.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ejmichaud","name":"Eric Michaud","path":"/ejmichaud","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7368212?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:ejmichaud/neural-verification into main","shortMessageHtmlLink":"Merge branch 'main' of github.com:ejmichaud/neural-verification into …"}},{"before":"0c0b89a917e17e2afa4db7c25a0eabd0e00e150d","after":"2ac6664e70c1b8fdb1d5c5bea4882dc42a689cdd","ref":"refs/heads/main","pushedAt":"2024-01-24T04:52:25.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"iliao2345","name":null,"path":"/iliao2345","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29663567?s=80&v=4"},"commit":{"message":"Merge branch 'main' of https://github.com/ejmichaud/neural-verification into main","shortMessageHtmlLink":"Merge branch 'main' of <a href=\"https://github.com/ejmichaud/neural-verification\">https://github.com/ejmichaud/neural-verification</a>…"}},{"before":"95e50cc22d78cae570559cc910c222f9e62dc986","after":"0c0b89a917e17e2afa4db7c25a0eabd0e00e150d","ref":"refs/heads/main","pushedAt":"2024-01-22T18:44:37.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"ejmichaud","name":"Eric Michaud","path":"/ejmichaud","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7368212?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:ejmichaud/neural-verification","shortMessageHtmlLink":"Merge branch 'main' of github.com:ejmichaud/neural-verification"}},{"before":"fab39b86a3f7fed755965ef52dfb85fdd04237d8","after":"680e7d590b046d60e602db1781d01e1c1c474599","ref":"refs/heads/pipeline","pushedAt":"2024-01-22T17:05:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"KindXiaoming","name":"Ziming Liu","path":"/KindXiaoming","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23551623?s=80&v=4"},"commit":{"message":"Add files via upload","shortMessageHtmlLink":"Add files via upload"}},{"before":null,"after":"fab39b86a3f7fed755965ef52dfb85fdd04237d8","ref":"refs/heads/pipeline","pushedAt":"2024-01-22T17:02:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"KindXiaoming","name":"Ziming Liu","path":"/KindXiaoming","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23551623?s=80&v=4"},"commit":{"message":"Add files via upload\n\ngenerate programs using integer lattice + linear regression","shortMessageHtmlLink":"Add files via upload"}},{"before":"36eaa907184c36e8cec321aa157d843ceacb2ed9","after":"95e50cc22d78cae570559cc910c222f9e62dc986","ref":"refs/heads/main","pushedAt":"2024-01-19T02:44:04.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"iliao2345","name":null,"path":"/iliao2345","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29663567?s=80&v=4"},"commit":{"message":"Fixing the rnn_div_x_numerical tasks' sequence lengths","shortMessageHtmlLink":"Fixing the rnn_div_x_numerical tasks' sequence lengths"}},{"before":"34448b386317ffa6a9c51cc653cedb933b4b941d","after":"36eaa907184c36e8cec321aa157d843ceacb2ed9","ref":"refs/heads/main","pushedAt":"2024-01-18T21:51:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vdlad","name":"Vedang Lad","path":"/vdlad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/78050580?s=80&v=4"},"commit":{"message":"Added rnn_base create datasets","shortMessageHtmlLink":"Added rnn_base create datasets"}},{"before":"addcc9ac0cd9604c97308c69ed9398f999ed221d","after":"34448b386317ffa6a9c51cc653cedb933b4b941d","ref":"refs/heads/main","pushedAt":"2024-01-18T08:26:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iliao2345","name":null,"path":"/iliao2345","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29663567?s=80&v=4"},"commit":{"message":"created new tasks","shortMessageHtmlLink":"created new tasks"}},{"before":"83cf12cfcc39a31ed60a6811ce5516b8cfbcdd1d","after":"addcc9ac0cd9604c97308c69ed9398f999ed221d","ref":"refs/heads/main","pushedAt":"2024-01-06T05:54:09.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"ejmichaud","name":"Eric Michaud","path":"/ejmichaud","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7368212?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:ejmichaud/neural-verification into main","shortMessageHtmlLink":"Merge branch 'main' of github.com:ejmichaud/neural-verification into …"}},{"before":"97aaa5138de1440bbb17af69f28f1231ccbcb68b","after":"83cf12cfcc39a31ed60a6811ce5516b8cfbcdd1d","ref":"refs/heads/main","pushedAt":"2024-01-05T16:34:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iliao2345","name":null,"path":"/iliao2345","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29663567?s=80&v=4"},"commit":{"message":"fixed dimensionality error","shortMessageHtmlLink":"fixed dimensionality error"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEGA0faQA","startCursor":null,"endCursor":null}},"title":"Activity · ejmichaud/neural-verification"}