{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T12:51:57Z","timestamp":1782910317998,"version":"3.54.5"},"publisher-location":"Stroudsburg, PA, USA","reference-count":0,"publisher":"Association for Computational Linguistics","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.18653\/v1\/2026.acl-long.16","type":"proceedings-article","created":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T12:25:50Z","timestamp":1782908750000},"page":"402-426","source":"Crossref","is-referenced-by-count":0,"title":["SLR: Automated Synthesis for Scalable Logical Reasoning"],"prefix":"10.18653","author":[{"given":"Lukas","family":"Helff","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ahmad","family":"Omar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Felix","family":"Friedrich","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Antonia","family":"W\u00fcst","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hikaru","family":"Shindo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rupert","family":"Mitchell","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tim","family":"Woydt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Patrick","family":"Schramowski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wolfgang","family":"Stammer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kristian","family":"Kersting","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"1643","event":{"name":"Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)","location":"San Diego, California, United States","start":{"date-parts":[[2026,7]]},"end":{"date-parts":[[2026,7]]}},"container-title":["Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)"],"original-title":[],"deposited":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T12:27:40Z","timestamp":1782908860000},"score":1,"resource":{"primary":{"URL":"https:\/\/aclanthology.org\/2026.acl-long.16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"references-count":0,"URL":"https:\/\/doi.org\/10.18653\/v1\/2026.acl-long.16","relation":{},"subject":[],"published":{"date-parts":[[2026]]}}}