{"id":"https://openalex.org/W7161681610","doi":"https://doi.org/10.48550/arxiv.2605.18202","title":"Concise and Logically Consistent Conformal Sets for Neuro-Symbolic Concept-Based Models","display_name":"Concise and Logically Consistent Conformal Sets for Neuro-Symbolic Concept-Based Models","publication_year":2026,"publication_date":"2026-05-18","ids":{"openalex":"https://openalex.org/W7161681610","doi":"https://doi.org/10.48550/arxiv.2605.18202"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.18202","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.18202","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.18202","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5093967956","display_name":"Samuele Bortolotti","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bortolotti, Samuele","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136491213","display_name":"Emanuele Marconato","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marconato, Emanuele","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052641887","display_name":"Andrea Pugnana","orcid":"https://orcid.org/0000-0001-9138-8212"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pugnana, Andrea","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136461067","display_name":"Andrea Passerini","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Passerini, Andrea","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5001174680","display_name":"Stefano Teso","orcid":"https://orcid.org/0000-0002-2340-9461"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Teso, Stefano","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.6269999742507935,"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.6269999742507935,"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/T11273","display_name":"Advanced Graph Neural Networks","score":0.08049999922513962,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.07739999890327454,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5875999927520752},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5383999943733215},{"id":"https://openalex.org/keywords/imperfect","display_name":"Imperfect","score":0.5375999808311462},{"id":"https://openalex.org/keywords/conformal-map","display_name":"Conformal map","score":0.5126000046730042},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4803999960422516},{"id":"https://openalex.org/keywords/logical-conjunction","display_name":"Logical conjunction","score":0.3458999991416931},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.3305000066757202}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7124999761581421},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5875999927520752},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5383999943733215},{"id":"https://openalex.org/C2780310539","wikidata":"https://www.wikidata.org/wiki/Q12547192","display_name":"Imperfect","level":2,"score":0.5375999808311462},{"id":"https://openalex.org/C98214594","wikidata":"https://www.wikidata.org/wiki/Q850275","display_name":"Conformal map","level":2,"score":0.5126000046730042},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5070000290870667},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4803999960422516},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.477400004863739},{"id":"https://openalex.org/C21847791","wikidata":"https://www.wikidata.org/wiki/Q191081","display_name":"Logical conjunction","level":2,"score":0.3458999991416931},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.3305000066757202},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.3222000002861023},{"id":"https://openalex.org/C2984842247","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep neural networks","level":3,"score":0.32170000672340393},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2996000051498413},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.28790000081062317},{"id":"https://openalex.org/C40976572","wikidata":"https://www.wikidata.org/wiki/Q2330873","display_name":"Gauge (firearms)","level":2,"score":0.287200003862381},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.27970001101493835},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.2791999876499176},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.26420000195503235},{"id":"https://openalex.org/C2776608160","wikidata":"https://www.wikidata.org/wiki/Q4785462","display_name":"Natural (archaeology)","level":2,"score":0.26080000400543213}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.18202","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.18202","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.18202","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.18202","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals","score":0.4137541949748993}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Neuro-Symbolic":[0],"Concept-based":[1],"Models":[2],"(NeSy-CBMs)":[3],"are":[4],"a":[5,35,79,119,132],"family":[6],"of":[7,111,173],"architectures":[8],"that":[9,96,106,122],"integrate":[10],"neural":[11],"networks":[12],"with":[13,41],"symbolic":[14],"reasoning":[15],"for":[16,57,100],"enhanced":[17],"reliability":[18],"in":[19,171],"high-stakes":[20],"applications.":[21],"They":[22],"work":[23],"by":[24,72],"first":[25],"extracting":[26],"high-level":[27],"concepts":[28,124],"from":[29,38,75],"the":[30,62],"input":[31],"and":[32,48,93,104,125,128,150,168,175],"then":[33,116],"inferring":[34],"task":[36],"label":[37,47],"these":[39],"compatibly":[40],"given":[42],"logical":[43],"constraints.":[44],"Yet,":[45],"their":[46],"concept":[49],"predictions":[50],"can":[51,65],"be":[52,66],"overconfident,":[53],"making":[54],"it":[55],"difficult":[56],"stakeholders":[58],"to":[59,147],"gauge":[60],"when":[61],"model's":[63],"decisions":[64],"trusted.":[67],"We":[68,86,115],"address":[69],"this":[70],"issue":[71],"integrating":[73],"ideas":[74],"Conformal":[76],"Prediction":[77],"(CP),":[78],"framework":[80,121],"providing":[81],"rigorous,":[82],"distribution-free":[83,143],"coverage":[84],"guarantees.":[85],"formalize":[87],"three":[88,140],"desiderata":[89],"--":[90,95],"consistency,":[91],"coverage,":[92,144],"conciseness":[94],"any":[97],"conformal":[98],"method":[99],"NeSy-CBMs":[101],"should":[102],"satisfy,":[103],"show":[105],"existing":[107],"approaches":[108],"fall":[109],"short":[110],"at":[112],"least":[113],"one.":[114],"introduce":[117],"COCOCO,":[118],"post-hoc":[120],"conformalizes":[123],"labels":[126],"jointly":[127],"reconciles":[129],"them":[130],"via":[131],"single":[133],"deduction-abduction":[134],"revision":[135],"step.":[136],"COCOCO":[137,163],"satisfies":[138],"all":[139],"desiderata,":[141],"retains":[142],"is":[145],"robust":[146],"imperfect":[148],"knowledge":[149],"supports":[151],"user-specified":[152],"size":[153],"budgets.":[154],"Our":[155],"experiments":[156],"on":[157],"8":[158],"data":[159],"sets":[160],"highlight":[161],"how":[162],"compares":[164],"favorably":[165],"against":[166],"competitors":[167],"natural":[169],"baselines":[170],"terms":[172],"performance":[174],"set":[176],"size.":[177]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-05-20T00:00:00"}