{"id":"https://openalex.org/W4386763861","doi":"https://doi.org/10.1109/dac56929.2023.10247803","title":"Lightning Talk: Trinity - Assured Neuro-symbolic Model Inspired by Hierarchical Predictive Coding","display_name":"Lightning Talk: Trinity - Assured Neuro-symbolic Model Inspired by Hierarchical Predictive Coding","publication_year":2023,"publication_date":"2023-07-09","ids":{"openalex":"https://openalex.org/W4386763861","doi":"https://doi.org/10.1109/dac56929.2023.10247803"},"language":"en","primary_location":{"id":"doi:10.1109/dac56929.2023.10247803","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac56929.2023.10247803","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 60th ACM/IEEE Design Automation Conference (DAC)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5035902535","display_name":"Susmit Jha","orcid":"https://orcid.org/0000-0001-5983-9095"},"institutions":[{"id":"https://openalex.org/I4210099336","display_name":"Menlo School","ror":"https://ror.org/01240pn49","country_code":"US","type":"education","lineage":["https://openalex.org/I4210099336"]},{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Susmit Jha","raw_affiliation_strings":["SRI International,Computer Science Laboratory,Menlo Park,USA","Computer Science Laboratory, SRI International, Menlo Park, USA"],"affiliations":[{"raw_affiliation_string":"SRI International,Computer Science Laboratory,Menlo Park,USA","institution_ids":["https://openalex.org/I1298353152"]},{"raw_affiliation_string":"Computer Science Laboratory, SRI International, Menlo Park, USA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5035902535"],"corresponding_institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"],"apc_list":null,"apc_paid":null,"fwci":0.1748,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.55952744,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"2"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10581","display_name":"Neural dynamics and brain function","score":0.9797000288963318,"subfield":{"id":"https://openalex.org/subfields/2805","display_name":"Cognitive Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/surprise","display_name":"Surprise","score":0.7875359058380127},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6998821496963501},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6104530096054077},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5995038747787476},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5572813749313354},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.5169231295585632},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.11129045486450195}],"concepts":[{"id":"https://openalex.org/C2780343955","wikidata":"https://www.wikidata.org/wiki/Q333173","display_name":"Surprise","level":2,"score":0.7875359058380127},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6998821496963501},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6104530096054077},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5995038747787476},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5572813749313354},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.5169231295585632},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.11129045486450195},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/dac56929.2023.10247803","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac56929.2023.10247803","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 60th ACM/IEEE Design Automation Conference (DAC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320316514","display_name":"Arm","ror":"https://ror.org/04mmhzs81"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W874179280","https://openalex.org/W1922655562","https://openalex.org/W2089571492","https://openalex.org/W2119885245","https://openalex.org/W2342840547","https://openalex.org/W2531327146","https://openalex.org/W2569907144","https://openalex.org/W2599743206","https://openalex.org/W2626967530","https://openalex.org/W2886281300","https://openalex.org/W2887933419","https://openalex.org/W2906965747","https://openalex.org/W2970085549","https://openalex.org/W2971602793","https://openalex.org/W3080690578","https://openalex.org/W3092005433","https://openalex.org/W3113133901","https://openalex.org/W3201218430","https://openalex.org/W4200512086","https://openalex.org/W4225546858","https://openalex.org/W4283796600","https://openalex.org/W4283801366","https://openalex.org/W4285599961","https://openalex.org/W4294578500","https://openalex.org/W4312715548","https://openalex.org/W4313610859","https://openalex.org/W4320031273","https://openalex.org/W4368362764","https://openalex.org/W4385730880","https://openalex.org/W4385730888","https://openalex.org/W6640090968","https://openalex.org/W6704559304","https://openalex.org/W6728622933","https://openalex.org/W6739651123","https://openalex.org/W6767184030","https://openalex.org/W6767748145"],"related_works":["https://openalex.org/W2961085424","https://openalex.org/W4306674287","https://openalex.org/W3046775127","https://openalex.org/W3107602296","https://openalex.org/W4394896187","https://openalex.org/W3170094116","https://openalex.org/W4386462264","https://openalex.org/W4364306694","https://openalex.org/W4312192474","https://openalex.org/W4283697347"],"abstract_inverted_index":{"This":[0,212],"paper":[1],"describes":[2],"the":[3,50,114,146,152,164,167,171,177,193,208,216,219,256,259],"core":[4],"concepts":[5,33],"and":[6,18,27,46,49,63,102,128,170,228,241],"challenges":[7],"in":[8,24,34,117,151,184,221],"developing":[9],"Trinity":[10,35,118,185,235,251],"-":[11],"a":[12,37,78,106,142,187,202],"high-assurance":[13],"neuro-symbolic":[14,38,115],"approach":[15],"to":[16,215,237,245,258],"trustworthy":[17],"resilient":[19],"machine":[20],"learning":[21],"for":[22,61,176],"applications":[23],"open-world,":[25],"contested,":[26],"rapidly-evolving":[28],"environments.":[29],"The":[30,70,136,182,197,225,247],"two":[31],"central":[32],"are":[36,199],"factored":[39,188],"world":[40,56,71,190],"model":[41,57,72,191,220],"that":[42,58,125,133],"identifies":[43],"entities,":[44],"activities,":[45],"complex":[47],"events,":[48],"notion":[51],"of":[52,180,195,205,218,250,255],"surprise":[53,161,206,213],"against":[54],"this":[55],"is":[59,73,119,126,134,174],"used":[60,175],"self-adaptation":[62],"learning,":[64],"as":[65,67,77,86,192],"well":[66],"runtime":[68],"assurance.":[69],"not":[74],"derived":[75],"purely":[76],"bottom-up":[79,94,123,172],"inference":[80,95,116,173,183],"from":[81,163,207],"sensors":[82],"treating":[83],"each":[84],"observation":[85],"independent":[87],"uncorrelated":[88],"input;":[89],"instead,":[90],"we":[91],"iteratively":[92],"interleave":[93],"(conditioned":[96],"on":[97],"context)":[98],"with":[99],"top-down":[100,131,168],"predictions":[101,198],"context":[103,144],"identification":[104],"using":[105,156],"three-layered":[107],"hierarchical":[108,248],"predictive":[109],"processing":[110],"(HPP)":[111],"stack.":[112,211],"Thus,":[113],"bidirectional":[120],"\u2013":[121],"learning-based":[122],"pull":[124],"uncertainty-driven":[127],"reasoning-based":[129],"symbolic":[130,138],"push":[132],"decision-driven.":[135],"progressively":[137],"higher":[139],"layers":[140,148],"capture":[141],"larger":[143],"than":[145],"bottom":[147],"finally":[149],"culminating":[150],"highest":[153],"layer":[154],"implemented":[155],"large":[157],"language":[158],"models.":[159],"Any":[160],"arising":[162],"mismatch":[165],"between":[166],"prediction":[169],"continual":[178],"adaptation":[179,229,254],"Trinity.":[181],"produces":[186],"temporal":[189],"result":[194],"perception.":[196],"accompanied":[200,230],"by":[201,231],"quantitative":[203],"measure":[204],"3-layered":[209],"HPP":[210],"corresponds":[214],"confidence":[217],"its":[222],"current":[223],"inference.":[224],"continuous":[226],"monitoring":[227],"risk":[232],"analysis":[233],"make":[234],"robust":[236],"semantic":[238],"adversarial":[239],"perturbations":[240],"more":[242],"efficiently":[243],"generalizable":[244],"novelties.":[246],"nature":[249],"also":[252],"enables":[253],"architecture":[257],"available":[260],"compute":[261],"resources.":[262]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}