{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:43:34Z","timestamp":1740102214301,"version":"3.37.3"},"reference-count":31,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,7,9]],"date-time":"2023-07-09T00:00:00Z","timestamp":1688860800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,7,9]],"date-time":"2023-07-09T00:00:00Z","timestamp":1688860800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100016311","name":"Arm","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100016311","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,7,9]]},"DOI":"10.1109\/dac56929.2023.10247803","type":"proceedings-article","created":{"date-parts":[[2023,9,15]],"date-time":"2023-09-15T17:31:31Z","timestamp":1694799091000},"page":"1-2","source":"Crossref","is-referenced-by-count":1,"title":["Lightning Talk: Trinity - Assured Neuro-symbolic Model Inspired by Hierarchical Predictive Coding"],"prefix":"10.1109","author":[{"given":"Susmit","family":"Jha","sequence":"first","affiliation":[{"name":"SRI International,Computer Science Laboratory,Menlo Park,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","article-title":"On need for topology awareness of generative models","author":"jang","year":"2020","journal-title":"ICLRE"},{"article-title":"A baseline for detecting misclassified and out-of-distribution examples in neural networks","year":"2016","author":"hendrycks","key":"ref12"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1002\/9781119723950.ch16"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v36i9.21190"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR52688.2022.01494"},{"key":"ref30","article-title":"Learning task specifications from demonstrations","volume":"31","author":"vazquez-chanlatte","year":"2018","journal-title":"Advances in neural information processing systems"},{"article-title":"Deep speech: Scaling up end-to-end speech recognition","year":"2014","author":"hannun","key":"ref11"},{"article-title":"On calibration of modern neural networks","year":"2017","author":"guo","key":"ref10"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2022\/89"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MILCOM55135.2022.10017607"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICAA58325.2023.00029"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MILCOM.2018.8599691"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CogMI52975.2021.00044"},{"key":"ref18","first-page":"11826","article-title":"Attribution-based confidence metric for deep neural networks","author":"jha","year":"2019","journal-title":"Advances in neural information processing systems"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3576841.3585931"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICAA58325.2023.00011"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218663"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3485832.3485908"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-54549-9_15"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v36i7.20670"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.2514\/6.2017-1743"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1038\/4580"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2017.23"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICAA58325.2023.00019"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1080\/1047840X.2010.521057"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1038\/s41591-018-0107-6"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2015.129"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1002\/9781119892199.ch8"},{"key":"ref3","article-title":"Runtime monitoring of deep neural networks using top-down context models inspired by predictive processing and dual process theory","author":"bastian","year":"2022","journal-title":"AAAI Spring Symposium 2022"},{"key":"ref6","first-page":"4492","article-title":"Principal component flows","author":"cunningham","year":"2022","journal-title":"International Conference on Machine Learning"},{"article-title":"End to end learning for self-driving cars","year":"2016","author":"bojarski","key":"ref5"}],"event":{"name":"2023 60th ACM\/IEEE Design Automation Conference (DAC)","start":{"date-parts":[[2023,7,9]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2023,7,13]]}},"container-title":["2023 60th ACM\/IEEE Design Automation Conference (DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10247654\/10247655\/10247803.pdf?arnumber=10247803","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,2]],"date-time":"2023-10-02T17:40:50Z","timestamp":1696268450000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10247803\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,9]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/dac56929.2023.10247803","relation":{},"subject":[],"published":{"date-parts":[[2023,7,9]]}}}