{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":642121754,"defaultBranch":"main","name":"Logic-LLM","ownerLogin":"teacherpeterpan","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-05-17T21:47:31.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/30278091?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1684360052.133047","currentOid":""},"activityList":{"items":[{"before":"0c2810ce22ea103b78e1cdceabe05b0904ccd32e","after":"d29f1e5e7203e8826cb9c41ba3003e43dc0b9d34","ref":"refs/heads/main","pushedAt":"2023-11-10T22:56:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"teacherpeterpan","name":"Liangming Pan","path":"/teacherpeterpan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30278091?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"60ef9c5e3e974cf669de0db06a39660365323a6d","after":"0c2810ce22ea103b78e1cdceabe05b0904ccd32e","ref":"refs/heads/main","pushedAt":"2023-10-19T05:23:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"teacherpeterpan","name":"Liangming Pan","path":"/teacherpeterpan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30278091?s=80&v=4"},"commit":{"message":"camera-ready","shortMessageHtmlLink":"camera-ready"}},{"before":"63d9eff48b7d554961998b57fe155a20cacb1431","after":"60ef9c5e3e974cf669de0db06a39660365323a6d","ref":"refs/heads/main","pushedAt":"2023-05-23T03:27:23.889Z","pushType":"push","commitsCount":1,"pusher":{"login":"teacherpeterpan","name":"Liangming Pan","path":"/teacherpeterpan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30278091?s=80&v=4"},"commit":{"message":"add citation","shortMessageHtmlLink":"add citation"}},{"before":"04e58783ba271beffdaac1b76bd32d3ec839bad8","after":"63d9eff48b7d554961998b57fe155a20cacb1431","ref":"refs/heads/main","pushedAt":"2023-05-22T23:13:23.080Z","pushType":"push","commitsCount":1,"pusher":{"login":"teacherpeterpan","name":"Liangming Pan","path":"/teacherpeterpan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30278091?s=80&v=4"},"commit":{"message":"logical inference","shortMessageHtmlLink":"logical inference"}},{"before":"6984a11afd9d8fa7cd8583af4547e54650249b04","after":"04e58783ba271beffdaac1b76bd32d3ec839bad8","ref":"refs/heads/main","pushedAt":"2023-05-22T23:10:19.731Z","pushType":"push","commitsCount":1,"pusher":{"login":"teacherpeterpan","name":"Liangming Pan","path":"/teacherpeterpan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30278091?s=80&v=4"},"commit":{"message":"logical inference","shortMessageHtmlLink":"logical inference"}},{"before":"b4ff9be323962191581fd9684e92d2700950062b","after":"6984a11afd9d8fa7cd8583af4547e54650249b04","ref":"refs/heads/main","pushedAt":"2023-05-22T19:54:39.008Z","pushType":"push","commitsCount":1,"pusher":{"login":"teacherpeterpan","name":"Liangming Pan","path":"/teacherpeterpan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30278091?s=80&v=4"},"commit":{"message":"program generation","shortMessageHtmlLink":"program generation"}},{"before":"2fe5fdd4ac366f65c1c7578aa510eeb922bff0a5","after":"b4ff9be323962191581fd9684e92d2700950062b","ref":"refs/heads/main","pushedAt":"2023-05-22T19:45:07.101Z","pushType":"push","commitsCount":1,"pusher":{"login":"teacherpeterpan","name":"Liangming Pan","path":"/teacherpeterpan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30278091?s=80&v=4"},"commit":{"message":"program generation","shortMessageHtmlLink":"program generation"}},{"before":"26a3f6b5e2f42f8fad4e38aeaeedce4961eed5f4","after":"2fe5fdd4ac366f65c1c7578aa510eeb922bff0a5","ref":"refs/heads/main","pushedAt":"2023-05-22T19:40:49.553Z","pushType":"push","commitsCount":1,"pusher":{"login":"teacherpeterpan","name":"Liangming Pan","path":"/teacherpeterpan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30278091?s=80&v=4"},"commit":{"message":"program generation","shortMessageHtmlLink":"program generation"}},{"before":"420276f84b237d1da78a50e8848ea57d1ec3d798","after":"26a3f6b5e2f42f8fad4e38aeaeedce4961eed5f4","ref":"refs/heads/main","pushedAt":"2023-05-22T19:39:02.776Z","pushType":"push","commitsCount":1,"pusher":{"login":"teacherpeterpan","name":"Liangming Pan","path":"/teacherpeterpan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30278091?s=80&v=4"},"commit":{"message":"program generation","shortMessageHtmlLink":"program generation"}},{"before":"074c735e69f42bcad218afb439c677136a660f73","after":"420276f84b237d1da78a50e8848ea57d1ec3d798","ref":"refs/heads/main","pushedAt":"2023-05-22T19:36:43.010Z","pushType":"push","commitsCount":1,"pusher":{"login":"teacherpeterpan","name":"Liangming Pan","path":"/teacherpeterpan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30278091?s=80&v=4"},"commit":{"message":"program generation","shortMessageHtmlLink":"program generation"}},{"before":"f6c1c56a2fbdf94a6f1b28b3a840d7c779f656ba","after":"074c735e69f42bcad218afb439c677136a660f73","ref":"refs/heads/main","pushedAt":"2023-05-22T19:29:42.128Z","pushType":"push","commitsCount":2,"pusher":{"login":"teacherpeterpan","name":"Liangming Pan","path":"/teacherpeterpan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30278091?s=80&v=4"},"commit":{"message":"program generation","shortMessageHtmlLink":"program generation"}},{"before":"1db54c5d42ea45a2d1dd7c2ee4274f6f881ec6fd","after":"f6c1c56a2fbdf94a6f1b28b3a840d7c779f656ba","ref":"refs/heads/main","pushedAt":"2023-05-20T22:27:09.366Z","pushType":"push","commitsCount":1,"pusher":{"login":"teacherpeterpan","name":"Liangming Pan","path":"/teacherpeterpan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30278091?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"2582edd9e6f3a1bc0047d520736e65c4652112c2","after":"1db54c5d42ea45a2d1dd7c2ee4274f6f881ec6fd","ref":"refs/heads/main","pushedAt":"2023-05-17T22:18:09.100Z","pushType":"push","commitsCount":1,"pusher":{"login":"teacherpeterpan","name":"Liangming Pan","path":"/teacherpeterpan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30278091?s=80&v=4"},"commit":{"message":"initial_commit","shortMessageHtmlLink":"initial_commit"}},{"before":"e8f8daa19edb5f8156fcaeb36bac48e9d7572b54","after":"2582edd9e6f3a1bc0047d520736e65c4652112c2","ref":"refs/heads/main","pushedAt":"2023-05-17T22:12:21.493Z","pushType":"push","commitsCount":1,"pusher":{"login":"teacherpeterpan","name":"Liangming Pan","path":"/teacherpeterpan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30278091?s=80&v=4"},"commit":{"message":"initial_commit","shortMessageHtmlLink":"initial_commit"}},{"before":"eb95e5abef2433294688066f9092a23cf96e8545","after":"e8f8daa19edb5f8156fcaeb36bac48e9d7572b54","ref":"refs/heads/main","pushedAt":"2023-05-17T22:11:39.841Z","pushType":"push","commitsCount":1,"pusher":{"login":"teacherpeterpan","name":"Liangming Pan","path":"/teacherpeterpan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30278091?s=80&v=4"},"commit":{"message":"initial_commit","shortMessageHtmlLink":"initial_commit"}},{"before":"4bedfe67520652af986ffc74adadfd3fa50c6a70","after":"eb95e5abef2433294688066f9092a23cf96e8545","ref":"refs/heads/main","pushedAt":"2023-05-17T22:10:33.278Z","pushType":"push","commitsCount":1,"pusher":{"login":"teacherpeterpan","name":"Liangming Pan","path":"/teacherpeterpan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30278091?s=80&v=4"},"commit":{"message":"initial_commit","shortMessageHtmlLink":"initial_commit"}},{"before":null,"after":"4bedfe67520652af986ffc74adadfd3fa50c6a70","ref":"refs/heads/main","pushedAt":"2023-05-17T21:47:32.133Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"teacherpeterpan","name":"Liangming Pan","path":"/teacherpeterpan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30278091?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":"djE6ks8AAAADrJJ4dwA","startCursor":null,"endCursor":null}},"title":"Activity · teacherpeterpan/Logic-LLM"}