{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T07:05:50Z","timestamp":1760598350927},"reference-count":0,"publisher":"PubPub","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.21428\/594757db.fbf33f8c","type":"journal-article","created":{"date-parts":[[2023,6,6]],"date-time":"2023-06-06T23:16:16Z","timestamp":1686093376000},"source":"Crossref","is-referenced-by-count":0,"title":["Upward Pass Semantics in Arithmetic Circuit Inference"],"prefix":"10.21428","author":[{"given":"Cory","family":"Butz","sequence":"first","affiliation":[{"name":"University of Regina, Regina, Canada"}]},{"given":"Jhonatan","family":"Oliveira","sequence":"additional","affiliation":[{"name":"Google, Sunnyvale, USA"}]},{"given":"Andr\u00e9 dos","family":"Santos","sequence":"additional","affiliation":[{"name":"Alberta Machine Intelligence Institute, Edmonton, Canada"}]},{"given":"Anna","family":"Norris","sequence":"additional","affiliation":[{"name":"University of Regina, Regina, Canada"}]},{"given":"Kadence","family":"Meredith","sequence":"additional","affiliation":[{"name":"University of Regina, Regina, Canada"}]}],"member":"9621","published-online":{"date-parts":[[2023,6,5]]},"container-title":["Proceedings of the Canadian Conference on Artificial Intelligence"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,6,6]],"date-time":"2023-06-06T23:16:30Z","timestamp":1686093390000},"score":1,"resource":{"primary":{"URL":"https:\/\/caiac.pubpub.org\/pub\/2607xkje"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,5]]},"references-count":0,"URL":"https:\/\/doi.org\/10.21428\/594757db.fbf33f8c","relation":{},"subject":[],"published":{"date-parts":[[2023,6,5]]}}}