{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":122360637,"defaultBranch":"master","name":"NeuraLogic","ownerLogin":"GustikS","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-02-21T16:20:08.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/8734447?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1710261714.0","currentOid":""},"activityList":{"items":[{"before":"961b6fbfb4f3bbb780aaf0540428ca9060add989","after":"88c31a243828d7283381eab229c78a274276ba04","ref":"refs/heads/master","pushedAt":"2024-07-23T18:53:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"better checking of unentailed samples","shortMessageHtmlLink":"better checking of unentailed samples"}},{"before":"f6ec9535b54bcb399f966dcb1c484db70aaa26c1","after":"961b6fbfb4f3bbb780aaf0540428ca9060add989","ref":"refs/heads/master","pushedAt":"2024-07-23T10:04:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"more sensible queryMatchingLiterals","shortMessageHtmlLink":"more sensible queryMatchingLiterals"}},{"before":"55bafa351ffbe30b5afcef7c25ac8f7ae3172f4c","after":"f6ec9535b54bcb399f966dcb1c484db70aaa26c1","ref":"refs/heads/master","pushedAt":"2024-07-23T09:26:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"aligned sample/example numbering + ordering (+ adding a grounding callback)","shortMessageHtmlLink":"aligned sample/example numbering + ordering (+ adding a grounding cal…"}},{"before":"8049c917fae8c1a84fc68431960528e03f97c019","after":"55bafa351ffbe30b5afcef7c25ac8f7ae3172f4c","ref":"refs/heads/master","pushedAt":"2024-07-23T07:17:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"grounding progress bar support","shortMessageHtmlLink":"grounding progress bar support"}},{"before":"8b21e672ea572131c89f09f7561c9e7c8c5194b9","after":"8049c917fae8c1a84fc68431960528e03f97c019","ref":"refs/heads/master","pushedAt":"2024-07-23T07:15:03.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/master'","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/master'"}},{"before":"3c27605ea386cc9aa9bf7c105d9f63209d867002","after":"8b21e672ea572131c89f09f7561c9e7c8c5194b9","ref":"refs/heads/master","pushedAt":"2024-07-15T07:04:57.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"Merge pull request #43 from jan-toth/treeliker\n\nAdd symbolic feature generation using TreeLiker","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2405070717\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GustikS/NeuraLogic/issues/43\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GustikS/NeuraLogic/pull/43/hovercard\" href=\"https://github.com/GustikS/NeuraLogic/pull/43\">#43</a> from jan-toth/treeliker"}},{"before":"ca5cb6d53fb6183a6f89474e9dad255afb0f5056","after":"3c27605ea386cc9aa9bf7c105d9f63209d867002","ref":"refs/heads/master","pushedAt":"2024-07-09T19:47:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"even more correct handling of ground negated body literals","shortMessageHtmlLink":"even more correct handling of ground negated body literals"}},{"before":"48e0332273c1ef885808287470dc1bb413964ab8","after":"ca5cb6d53fb6183a6f89474e9dad255afb0f5056","ref":"refs/heads/master","pushedAt":"2024-07-09T14:14:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"correct handling of ground negated body literals","shortMessageHtmlLink":"correct handling of ground negated body literals"}},{"before":"f7b74aa14bb88ce782366e7b7f1d3c494e3b227f","after":"48e0332273c1ef885808287470dc1bb413964ab8","ref":"refs/heads/master","pushedAt":"2024-07-09T07:37:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"correcting negated (skipped) body atom weights assignment in neuron construction","shortMessageHtmlLink":"correcting negated (skipped) body atom weights assignment in neuron c…"}},{"before":"1ebf378a59a0998c7eb8843902851163b897b237","after":"f7b74aa14bb88ce782366e7b7f1d3c494e3b227f","ref":"refs/heads/master","pushedAt":"2024-07-04T08:10:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"no sharing for hidden predicates + more allowance for samples without queries","shortMessageHtmlLink":"no sharing for hidden predicates + more allowance for samples without…"}},{"before":"3e72806a254c7e4188183c1d1144832effcde568","after":"1ebf378a59a0998c7eb8843902851163b897b237","ref":"refs/heads/master","pushedAt":"2024-06-25T13:51:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"Global grounding mode can be evaluated without queries","shortMessageHtmlLink":"Global grounding mode can be evaluated without queries"}},{"before":"ef771c0e6d5455f03805d6d2ece435d371967812","after":"3e72806a254c7e4188183c1d1144832effcde568","ref":"refs/heads/master","pushedAt":"2024-06-24T17:39:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"making efficient Clause/ClauseE representation stored with the examples (GroundExample) after grounding, and accessible","shortMessageHtmlLink":"making efficient Clause/ClauseE representation stored with the exampl…"}},{"before":"3aa8b6afbfcb06dda53ddb14bfa7c368e88327f8","after":"ef771c0e6d5455f03805d6d2ece435d371967812","ref":"refs/heads/master","pushedAt":"2024-06-22T13:23:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"adding filtering/aggregation of conflicting queries with different labels","shortMessageHtmlLink":"adding filtering/aggregation of conflicting queries with different la…"}},{"before":"558affcac8264b0b027a3ae40eccb9cf03a90a4a","after":"3aa8b6afbfcb06dda53ddb14bfa7c368e88327f8","ref":"refs/heads/master","pushedAt":"2024-06-22T12:34:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"making the N-M query-example setting more efficient - the groundings+neural nets are all shared - optimizations (pruning+compression) now work by repetitively overloading the GLOBAL sharing mode","shortMessageHtmlLink":"making the N-M query-example setting more efficient - the groundings+…"}},{"before":"36004cc1d4691788d33fb5f48393bcee8b245bf9","after":"558affcac8264b0b027a3ae40eccb9cf03a90a4a","ref":"refs/heads/master","pushedAt":"2024-06-22T08:34:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"correcting the multi-query-multi-example setting to ground only once per example","shortMessageHtmlLink":"correcting the multi-query-multi-example setting to ground only once …"}},{"before":"c9b0077172711a1fc7004a398edb1a0f333eaf5f","after":"36004cc1d4691788d33fb5f48393bcee8b245bf9","ref":"refs/heads/master","pushedAt":"2024-06-21T17:32:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"adding multi-query-multi-example test","shortMessageHtmlLink":"adding multi-query-multi-example test"}},{"before":"882b0a8df69a630beb6091b42ef0e7d97aa8e43b","after":"c9b0077172711a1fc7004a398edb1a0f333eaf5f","ref":"refs/heads/master","pushedAt":"2024-06-21T10:12:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"updating intellij artifact building library versions","shortMessageHtmlLink":"updating intellij artifact building library versions"}},{"before":"c7ea864ef1682d57c8b4be92a154ec5297404e86","after":"882b0a8df69a630beb6091b42ef0e7d97aa8e43b","ref":"refs/heads/master","pushedAt":"2024-06-20T17:03:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"debugging the multiple-lifted-queries-per-example learning setup","shortMessageHtmlLink":"debugging the multiple-lifted-queries-per-example learning setup"}},{"before":"d247fe7a2a9bb26ce27feed53e234640266f2918","after":"c7ea864ef1682d57c8b4be92a154ec5297404e86","ref":"refs/heads/master","pushedAt":"2024-06-20T06:59:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"unmatched queries are filtered out instead of throwing an error","shortMessageHtmlLink":"unmatched queries are filtered out instead of throwing an error"}},{"before":"5e798527077cb0798093c1c4a0dc0d6fbc7c9aba","after":"d247fe7a2a9bb26ce27feed53e234640266f2918","ref":"refs/heads/master","pushedAt":"2024-06-07T08:48:36.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"Merge pull request #42 from LukasZahradnik/experimental-mixed-combination\n\nImplement experimental mixing of combinations","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2329249242\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GustikS/NeuraLogic/issues/42\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GustikS/NeuraLogic/pull/42/hovercard\" href=\"https://github.com/GustikS/NeuraLogic/pull/42\">#42</a> from LukasZahradnik/experimental-mixed-combina…"}},{"before":"a275ea55b2460377c0cdea46f87690067589080e","after":"5e798527077cb0798093c1c4a0dc0d6fbc7c9aba","ref":"refs/heads/master","pushedAt":"2024-05-08T19:25:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"a few updates for planning","shortMessageHtmlLink":"a few updates for planning"}},{"before":"fb935cd120be63b3b2e9c7dfd98aad4a3dfabd4b","after":"a275ea55b2460377c0cdea46f87690067589080e","ref":"refs/heads/master","pushedAt":"2024-05-04T13:29:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"removing broken link to Nullable annotation","shortMessageHtmlLink":"removing broken link to Nullable annotation"}},{"before":"ce8715bb274e35b525c092d86aabd20931179ac9","after":"fb935cd120be63b3b2e9c7dfd98aad4a3dfabd4b","ref":"refs/heads/master","pushedAt":"2024-05-04T13:17:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"further refactoring of grounding for clarity and speedup (reusing preprocessed rules/Herbrand directly in the template)","shortMessageHtmlLink":"further refactoring of grounding for clarity and speedup (reusing pre…"}},{"before":"a16fa0253e5fb1ef297267f0b52c30b281b533de","after":"ce8715bb274e35b525c092d86aabd20931179ac9","ref":"refs/heads/master","pushedAt":"2024-05-03T20:41:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"simplifying drawing to be more compact (numbers and neuron names)","shortMessageHtmlLink":"simplifying drawing to be more compact (numbers and neuron names)"}},{"before":"da50f7864b486f84bcb636c1dbe82edcb9367acd","after":"a16fa0253e5fb1ef297267f0b52c30b281b533de","ref":"refs/heads/master","pushedAt":"2024-05-03T18:27:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"adding old benchmarking (mutagen) templates that have been missing (and thus benchmarks running slower with some default templates)","shortMessageHtmlLink":"adding old benchmarking (mutagen) templates that have been missing (a…"}},{"before":"a9b353a46c5bfc06cd7e6551f333e7b905ee0701","after":"da50f7864b486f84bcb636c1dbe82edcb9367acd","ref":"refs/heads/master","pushedAt":"2024-05-03T17:54:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"refactoring and optimizing Herbrand model grounding (reusing ClauseC and ClauseE structures where possible)","shortMessageHtmlLink":"refactoring and optimizing Herbrand model grounding (reusing ClauseC …"}},{"before":"ed481f0dd4d3d08609b11d2be556d2dbd9a546bd","after":"a9b353a46c5bfc06cd7e6551f333e7b905ee0701","ref":"refs/heads/master","pushedAt":"2024-05-03T15:06:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"debugging hard negation - directly negating non-derived (domain) predicates in rules is now possible","shortMessageHtmlLink":"debugging hard negation - directly negating non-derived (domain) pred…"}},{"before":"acac015952ebac34ef18d486f6726ff1bf0580ec","after":"ed481f0dd4d3d08609b11d2be556d2dbd9a546bd","ref":"refs/heads/master","pushedAt":"2024-05-03T14:01:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"adding support for variable/constant TYPING (+ updating grammar and ANTLR)!","shortMessageHtmlLink":"adding support for variable/constant TYPING (+ updating grammar and A…"}},{"before":"ba8bdc701a8bc9fa31273b9bc28caf7d4494f1a1","after":"acac015952ebac34ef18d486f6726ff1bf0580ec","ref":"refs/heads/master","pushedAt":"2024-04-23T07:35:23.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"Merge branch 'planning'","shortMessageHtmlLink":"Merge branch 'planning'"}},{"before":"0221bc690af75920647707a741f3896ac191057e","after":"042bf9edec0031f970f12a2f890248d0736d462c","ref":"refs/heads/planning","pushedAt":"2024-04-23T07:05:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"GustikS","name":"Gustav Šír","path":"/GustikS","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8734447?s=80&v=4"},"commit":{"message":"template drawing with null rule weight","shortMessageHtmlLink":"template drawing with null rule weight"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEhzHDDAA","startCursor":null,"endCursor":null}},"title":"Activity · GustikS/NeuraLogic"}