{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":509588145,"defaultBranch":"main","name":"prontoqa","ownerLogin":"asaparov","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-07-01T21:03:05.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/828675?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1684858392.051285","currentOid":""},"activityList":{"items":[{"before":"a191a857e83290d8103bc5968a0e4c54d2a8cc11","after":"227f5edb70c4c242565fff065d6873b588340f97","ref":"refs/heads/main","pushedAt":"2023-10-21T16:26:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Further fixes of bugs in conversion of logical forms into sentences when `--no-adjecives` is not specified.","shortMessageHtmlLink":"Further fixes of bugs in conversion of logical forms into sentences w…"}},{"before":"cf6a9381ae97eb79070bda8bfd9a73b6f1f5a2ad","after":"a191a857e83290d8103bc5968a0e4c54d2a8cc11","ref":"refs/heads/main","pushedAt":"2023-10-19T21:37:45.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:asaparov/synthetic_reasoning_qa","shortMessageHtmlLink":"Merge branch 'main' of github.com:asaparov/synthetic_reasoning_qa"}},{"before":"7c868c00030b178647486b9b3ae0b42d39f04641","after":"cf6a9381ae97eb79070bda8bfd9a73b6f1f5a2ad","ref":"refs/heads/main","pushedAt":"2023-10-13T17:38:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Update README.md\n\nMissing comma in bibtex.","shortMessageHtmlLink":"Update README.md"}},{"before":"9486b871290182dc39e880cb6a4ec003cf30c642","after":"7c868c00030b178647486b9b3ae0b42d39f04641","ref":"refs/heads/main","pushedAt":"2023-10-07T16:20:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Added \"unimplemented\" error messages.","shortMessageHtmlLink":"Added \"unimplemented\" error messages."}},{"before":"467416085e1cdfb72e7089f27efbc01149b03c9b","after":"9486b871290182dc39e880cb6a4ec003cf30c642","ref":"refs/heads/main","pushedAt":"2023-10-06T18:53:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Cleaned up figures. Fixed a bug where `--ontology=true` would lead to an `UnboundLocalError`.","shortMessageHtmlLink":"Cleaned up figures. Fixed a bug where <code>--ontology=true</code> would lead to…"}},{"before":"5df20becbefa147e47576c60ebc7ba80c89e5bd3","after":"467416085e1cdfb72e7089f27efbc01149b03c9b","ref":"refs/heads/main","pushedAt":"2023-10-06T18:32:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Updated README.","shortMessageHtmlLink":"Updated README."}},{"before":"c0c85b902aa3d178c1a3d5c9598f85f2c8dd754f","after":"5df20becbefa147e47576c60ebc7ba80c89e5bd3","ref":"refs/heads/main","pushedAt":"2023-10-05T04:38:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Fixed a bug where some compositional proofs contained contradictions as well as a bug in `run_experiment.py` where the output may be nondeterministic if the output mode is JSON.","shortMessageHtmlLink":"Fixed a bug where some compositional proofs contained contradictions …"}},{"before":"b30b579d82a20ed0363979697b549b1038bda23c","after":"c0c85b902aa3d178c1a3d5c9598f85f2c8dd754f","ref":"refs/heads/main","pushedAt":"2023-08-08T14:30:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Made some changes to parse new FLAN-T5 and LLaMA results.","shortMessageHtmlLink":"Made some changes to parse new FLAN-T5 and LLaMA results."}},{"before":"b5864decd73ce0e7736bd49ef387f3614ea2c45d","after":"b30b579d82a20ed0363979697b549b1038bda23c","ref":"refs/heads/main","pushedAt":"2023-08-07T18:32:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Added functionality to generate \"irrelevant\" sentences, which are generated in place of distractors (when 'distractors' is set to 'irrelevant', whenever a distractor sentence would be generated, an irrelevant sentence is generated instead). These sentences look similar to distractors, except they don't contain any concepts or entities that are mentioned in the ground truth proof.","shortMessageHtmlLink":"Added functionality to generate \"irrelevant\" sentences, which are gen…"}},{"before":"4812d16a1d52389fb70f00820590810e88ad5898","after":"b5864decd73ce0e7736bd49ef387f3614ea2c45d","ref":"refs/heads/main","pushedAt":"2023-05-24T02:15:15.992Z","pushType":"push","commitsCount":1,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"e9e059c6e1af28d48ebae04ed5048b0cc3a121ee","after":"066f73fc70bfaa92ed2476fd3c41b4951ad6e63a","ref":"refs/heads/v1","pushedAt":"2023-05-24T02:15:03.173Z","pushType":"push","commitsCount":1,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"3651df02392a93ab300f3211c28e8c6500f37912","after":"4812d16a1d52389fb70f00820590810e88ad5898","ref":"refs/heads/main","pushedAt":"2023-05-24T01:24:15.838Z","pushType":"push","commitsCount":1,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Updated bibtex in README.","shortMessageHtmlLink":"Updated bibtex in README."}},{"before":"48f00085b26cc925ad61b5543f7c4d2721fda9ed","after":"e9e059c6e1af28d48ebae04ed5048b0cc3a121ee","ref":"refs/heads/v1","pushedAt":"2023-05-24T01:20:26.249Z","pushType":"push","commitsCount":1,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Updated README with new bibtex.","shortMessageHtmlLink":"Updated README with new bibtex."}},{"before":"157760a76670d674e1910779512fa4a607772ea1","after":"3651df02392a93ab300f3211c28e8c6500f37912","ref":"refs/heads/main","pushedAt":"2023-05-23T16:47:23.899Z","pushType":"push","commitsCount":1,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Updated README.","shortMessageHtmlLink":"Updated README."}},{"before":"f1819829e3f7e3591d8ecf06f4ac0b782a668ab2","after":"157760a76670d674e1910779512fa4a607772ea1","ref":"refs/heads/main","pushedAt":"2023-05-23T16:16:26.270Z","pushType":"push","commitsCount":1,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Renamed branches and updated README.","shortMessageHtmlLink":"Renamed branches and updated README."}},{"before":"f1819829e3f7e3591d8ecf06f4ac0b782a668ab2","after":null,"ref":"refs/heads/dev","pushedAt":"2023-05-23T16:13:12.051Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"}},{"before":null,"after":"f1819829e3f7e3591d8ecf06f4ac0b782a668ab2","ref":"refs/heads/main","pushedAt":"2023-05-23T16:13:11.772Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Added generated data and updated README.","shortMessageHtmlLink":"Added generated data and updated README."}},{"before":"48f00085b26cc925ad61b5543f7c4d2721fda9ed","after":null,"ref":"refs/heads/main","pushedAt":"2023-05-23T16:12:54.950Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"}},{"before":null,"after":"48f00085b26cc925ad61b5543f7c4d2721fda9ed","ref":"refs/heads/v1","pushedAt":"2023-05-23T16:12:54.304Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Minor changes to ICLR presentation figures. Converted line endings to LF.","shortMessageHtmlLink":"Minor changes to ICLR presentation figures. Converted line endings to…"}},{"before":"040c14dbdebe54ed5ad9b67b38101f1b178769ac","after":"f1819829e3f7e3591d8ecf06f4ac0b782a668ab2","ref":"refs/heads/dev","pushedAt":"2023-05-23T15:01:22.201Z","pushType":"push","commitsCount":1,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Added generated data and updated README.","shortMessageHtmlLink":"Added generated data and updated README."}},{"before":"770c06532bd4347b9c24964f1cf746d00a26d8ab","after":"040c14dbdebe54ed5ad9b67b38101f1b178769ac","ref":"refs/heads/dev","pushedAt":"2023-05-17T19:03:04.505Z","pushType":"push","commitsCount":1,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Added model outputs.","shortMessageHtmlLink":"Added model outputs."}},{"before":"c85ccf69ff5cdd56110900d532c23d63d993955c","after":"770c06532bd4347b9c24964f1cf746d00a26d8ab","ref":"refs/heads/dev","pushedAt":"2023-05-17T01:48:21.883Z","pushType":"push","commitsCount":1,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Fixed bug in detecting de Morgan's applications.","shortMessageHtmlLink":"Fixed bug in detecting de Morgan's applications."}},{"before":"7688ee57e55930e255bef9326c2d4ecc81c4621b","after":"c85ccf69ff5cdd56110900d532c23d63d993955c","ref":"refs/heads/dev","pushedAt":"2023-05-14T15:04:21.319Z","pushType":"push","commitsCount":1,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Added new PaLM results as well as extending the parser coverage for the new LLaMA and FLAN-T5 results.","shortMessageHtmlLink":"Added new PaLM results as well as extending the parser coverage for t…"}},{"before":"02d35118eaf75f1aa80d77aa3fa9a7384cc4af4d","after":"7688ee57e55930e255bef9326c2d4ecc81c4621b","ref":"refs/heads/dev","pushedAt":"2023-04-24T14:42:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Added `make_plots.py` which generates figures from new data. Added some patterns to `bad_patterns.txt` and fixed some parsing bugs to improve coverage on some of the new experimental results.","shortMessageHtmlLink":"Added <code>make_plots.py</code> which generates figures from new data. Added so…"}},{"before":"91788f039282339bfcc96e16c22accdbb741c612","after":"48f00085b26cc925ad61b5543f7c4d2721fda9ed","ref":"refs/heads/main","pushedAt":"2023-04-10T22:49:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Minor changes to ICLR presentation figures. Converted line endings to LF.","shortMessageHtmlLink":"Minor changes to ICLR presentation figures. Converted line endings to…"}},{"before":"5fe2f7085bda91310b5dfa3199c8c27fbf2d2112","after":"91788f039282339bfcc96e16c22accdbb741c612","ref":"refs/heads/main","pushedAt":"2023-04-09T02:20:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Added plots for ICLR presentation.","shortMessageHtmlLink":"Added plots for ICLR presentation."}},{"before":"b51bcccb06c6bdc3495b484d26c35ef3f96420da","after":"02d35118eaf75f1aa80d77aa3fa9a7384cc4af4d","ref":"refs/heads/dev","pushedAt":"2023-04-04T07:57:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Implemented DFS with backtracking for implication elimination, conjunction introduction/elimination, and disjunction introduction.","shortMessageHtmlLink":"Implemented DFS with backtracking for implication elimination, conjun…"}},{"before":"3832393fdd3960013f15ba420b31fca6ae5ae3fa","after":"b51bcccb06c6bdc3495b484d26c35ef3f96420da","ref":"refs/heads/dev","pushedAt":"2023-03-29T01:24:14.906Z","pushType":"push","commitsCount":1,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Made some changes to facilitate parsing of LLaMa's predicted outputs, such as new patterns in `bad_patterns.txt` and the ability to parse coordinated adjectival phrases.","shortMessageHtmlLink":"Made some changes to facilitate parsing of LLaMa's predicted outputs,…"}},{"before":"22c1a4d6ba2730198bb68215bb3efc66a7c26deb","after":"3832393fdd3960013f15ba420b31fca6ae5ae3fa","ref":"refs/heads/dev","pushedAt":"2023-03-21T13:12:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Added a `test-ordering` flag to control the ordering of the sentences in the test example, if it differs from that of the in-context examples. Also modified the parser so that it can parse sentences of the form `A, as B` (as in the sense, A is true because B is true).","shortMessageHtmlLink":"Added a <code>test-ordering</code> flag to control the ordering of the sentences…"}},{"before":"13941f03eea1df4c0eddd383bf769cd37743d213","after":"22c1a4d6ba2730198bb68215bb3efc66a7c26deb","ref":"refs/heads/dev","pushedAt":"2023-03-21T05:40:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"asaparov","name":"Abulhair Saparov","path":"/asaparov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828675?s=80&v=4"},"commit":{"message":"Modified the code to correctly produce examples with no distractors for all deduction rules whenever the flag `no-distractor` is specified. Also added the flag `test-with-distractor` to be used in conjunction with `no-distractor` to produce examples where the in-context examples have no distractors but the test examples do.","shortMessageHtmlLink":"Modified the code to correctly produce examples with no distractors f…"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADnJh1QgA","startCursor":null,"endCursor":null}},"title":"Activity · asaparov/prontoqa"}