{"id":"https://openalex.org/W4390189929","doi":"https://doi.org/10.1109/milcom58377.2023.10356344","title":"Challenges and Opportunities in Neuro-Symbolic Composition of Foundation Models","display_name":"Challenges and Opportunities in Neuro-Symbolic Composition of Foundation Models","publication_year":2023,"publication_date":"2023-10-30","ids":{"openalex":"https://openalex.org/W4390189929","doi":"https://doi.org/10.1109/milcom58377.2023.10356344"},"language":"en","primary_location":{"id":"doi:10.1109/milcom58377.2023.10356344","is_oa":false,"landing_page_url":"https://doi.org/10.1109/milcom58377.2023.10356344","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"MILCOM 2023 - 2023 IEEE Military Communications Conference (MILCOM)","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,CA,USA","Computer Science Laboratory, SRI International, Menlo Park, CA, USA"],"affiliations":[{"raw_affiliation_string":"SRI International,Computer Science Laboratory,Menlo Park,CA,USA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]},{"raw_affiliation_string":"Computer Science Laboratory, SRI International, Menlo Park, CA, USA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076846018","display_name":"Anirban Roy","orcid":"https://orcid.org/0009-0000-6889-0204"},"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":false,"raw_author_name":"Anirban Roy","raw_affiliation_strings":["SRI International,Computer Science Laboratory,Menlo Park,CA,USA","Computer Science Laboratory, SRI International, Menlo Park, CA, USA"],"affiliations":[{"raw_affiliation_string":"SRI International,Computer Science Laboratory,Menlo Park,CA,USA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]},{"raw_affiliation_string":"Computer Science Laboratory, SRI International, Menlo Park, CA, USA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102898820","display_name":"Adam D. Cobb","orcid":"https://orcid.org/0000-0002-6638-1788"},"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":false,"raw_author_name":"Adam Cobb","raw_affiliation_strings":["SRI International,Computer Science Laboratory,Menlo Park,CA,USA","Computer Science Laboratory, SRI International, Menlo Park, CA, USA"],"affiliations":[{"raw_affiliation_string":"SRI International,Computer Science Laboratory,Menlo Park,CA,USA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]},{"raw_affiliation_string":"Computer Science Laboratory, SRI International, Menlo Park, CA, USA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048112493","display_name":"Alexander Berenbeim","orcid":"https://orcid.org/0000-0001-8573-4270"},"institutions":[{"id":"https://openalex.org/I192545095","display_name":"United States Military Academy","ror":"https://ror.org/01jepya76","country_code":"US","type":"education","lineage":["https://openalex.org/I1304082316","https://openalex.org/I1330347796","https://openalex.org/I192545095","https://openalex.org/I4210088792"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alexander Berenbeim","raw_affiliation_strings":["United States Military Academy,Army Cyber Institute,West Point,NY,USA","Army Cyber Institute, United States Military Academy, West Point, NY, USA"],"affiliations":[{"raw_affiliation_string":"United States Military Academy,Army Cyber Institute,West Point,NY,USA","institution_ids":["https://openalex.org/I192545095"]},{"raw_affiliation_string":"Army Cyber Institute, United States Military Academy, West Point, NY, USA","institution_ids":["https://openalex.org/I192545095"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032194186","display_name":"Nathaniel D. Bastian","orcid":"https://orcid.org/0000-0001-9957-2778"},"institutions":[{"id":"https://openalex.org/I192545095","display_name":"United States Military Academy","ror":"https://ror.org/01jepya76","country_code":"US","type":"education","lineage":["https://openalex.org/I1304082316","https://openalex.org/I1330347796","https://openalex.org/I192545095","https://openalex.org/I4210088792"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nathaniel D. Bastian","raw_affiliation_strings":["United States Military Academy,Army Cyber Institute,West Point,NY,USA","Army Cyber Institute, United States Military Academy, West Point, NY, USA"],"affiliations":[{"raw_affiliation_string":"United States Military Academy,Army Cyber Institute,West Point,NY,USA","institution_ids":["https://openalex.org/I192545095"]},{"raw_affiliation_string":"Army Cyber Institute, United States Military Academy, West Point, NY, USA","institution_ids":["https://openalex.org/I192545095"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"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.4779,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.66537899,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"156","last_page":"161"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11714","display_name":"Multimodal Machine Learning Applications","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T11714","display_name":"Multimodal Machine Learning Applications","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9990000128746033,"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/T10028","display_name":"Topic Modeling","score":0.9986000061035156,"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/computer-science","display_name":"Computer science","score":0.7804025411605835},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.6327840089797974},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6237010359764099},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5646346807479858},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.538853108882904},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.48581719398498535},{"id":"https://openalex.org/keywords/adversarial-system","display_name":"Adversarial system","score":0.4786747097969055},{"id":"https://openalex.org/keywords/inference-engine","display_name":"Inference engine","score":0.4335406422615051},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.39856576919555664},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.11333268880844116},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10303694009780884}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7804025411605835},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6327840089797974},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6237010359764099},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5646346807479858},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.538853108882904},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.48581719398498535},{"id":"https://openalex.org/C37736160","wikidata":"https://www.wikidata.org/wiki/Q1801315","display_name":"Adversarial system","level":2,"score":0.4786747097969055},{"id":"https://openalex.org/C46743427","wikidata":"https://www.wikidata.org/wiki/Q1341685","display_name":"Inference engine","level":3,"score":0.4335406422615051},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.39856576919555664},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.11333268880844116},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10303694009780884},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/milcom58377.2023.10356344","is_oa":false,"landing_page_url":"https://doi.org/10.1109/milcom58377.2023.10356344","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"MILCOM 2023 - 2023 IEEE Military Communications Conference (MILCOM)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320332447","display_name":"U.S. Army","ror":"https://ror.org/00afsp483"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":71,"referenced_works":["https://openalex.org/W1535762694","https://openalex.org/W2018259456","https://openalex.org/W2134734244","https://openalex.org/W2145315825","https://openalex.org/W2759136286","https://openalex.org/W2975185270","https://openalex.org/W2989176720","https://openalex.org/W3001279689","https://openalex.org/W3005742798","https://openalex.org/W3090449556","https://openalex.org/W3091588028","https://openalex.org/W3146449001","https://openalex.org/W3173220247","https://openalex.org/W3177813494","https://openalex.org/W3198685994","https://openalex.org/W4225323055","https://openalex.org/W4225591000","https://openalex.org/W4226278401","https://openalex.org/W4226485558","https://openalex.org/W4229005866","https://openalex.org/W4239921976","https://openalex.org/W4281557260","https://openalex.org/W4281690148","https://openalex.org/W4283026156","https://openalex.org/W4283157303","https://openalex.org/W4285428875","https://openalex.org/W4285599961","https://openalex.org/W4287888135","https://openalex.org/W4307079201","https://openalex.org/W4312107707","https://openalex.org/W4312605942","https://openalex.org/W4312933868","https://openalex.org/W4313384047","https://openalex.org/W4318718936","https://openalex.org/W4321011818","https://openalex.org/W4322718191","https://openalex.org/W4366850543","https://openalex.org/W4367368866","https://openalex.org/W4376312115","https://openalex.org/W4384302803","https://openalex.org/W4385573010","https://openalex.org/W4385574156","https://openalex.org/W4385574358","https://openalex.org/W4385730880","https://openalex.org/W4386566765","https://openalex.org/W4390874280","https://openalex.org/W6768586863","https://openalex.org/W6772383348","https://openalex.org/W6773631536","https://openalex.org/W6790019176","https://openalex.org/W6791353385","https://openalex.org/W6798182279","https://openalex.org/W6809509765","https://openalex.org/W6810220367","https://openalex.org/W6810334672","https://openalex.org/W6810738896","https://openalex.org/W6810874553","https://openalex.org/W6811340617","https://openalex.org/W6838461927","https://openalex.org/W6838865847","https://openalex.org/W6839193947","https://openalex.org/W6839928859","https://openalex.org/W6847076894","https://openalex.org/W6847873901","https://openalex.org/W6847903763","https://openalex.org/W6849177959","https://openalex.org/W6850348513","https://openalex.org/W6850625674","https://openalex.org/W6851884503","https://openalex.org/W6852446523","https://openalex.org/W6853116092"],"related_works":["https://openalex.org/W2057057690","https://openalex.org/W2368184788","https://openalex.org/W2358964818","https://openalex.org/W2359535128","https://openalex.org/W2381332051","https://openalex.org/W2321443665","https://openalex.org/W2375699995","https://openalex.org/W2043719711","https://openalex.org/W2140069467","https://openalex.org/W2364072231"],"abstract_inverted_index":{"Trustworthy,":[0],"resilient,":[1],"and":[2,24,36,57,65,77,103,138,160,169,198,209],"interpretable":[3,25],"artificial":[4],"intelligence":[5],"(AI)":[6],"is":[7,27,40],"essential":[8],"for":[9,95,125,157],"effective":[10,123],"operation":[11],"of":[12,15,71,130,141,166,176,204],"the":[13,142,196,201,205],"Internet":[14],"Things":[16],"(IoT)":[17],"in":[18,83,120,200],"adversarial":[19,126],"environments.":[20],"Such":[21],"a":[22,121],"robust":[23,44],"AI":[26,124],"needed":[28],"to":[29,42,132,183],"improve":[30],"tactical":[31],"coordination":[32],"through":[33],"scalability,":[34],"corroboration,":[35],"context-aware":[37],"intelligence.":[38],"It":[39],"crucial":[41],"have":[43],"machine":[45],"learning":[46],"(ML)":[47],"models":[48,63,67,113,182,208],"with":[49],"characteristics":[50],"such":[51,177,188],"as":[52,189],"low-supervision":[53],"adaptability,":[54],"decision":[55],"explanations,":[56],"adaptive":[58],"inference.":[59],"Pre-trained":[60],"large":[61,206],"language":[62,207],"(LLMs)":[64],"foundation":[66,112,181,210],"(FMs)":[68,114],"address":[69],"some":[70],"these":[72],"challenges,":[73],"but":[74],"are":[75],"unpredictable":[76],"cannot":[78],"directly":[79],"solve":[80,133,184],"complex":[81,134],"tasks":[82,135,187],"mission-critical":[84],"scenarios.":[85],"However,":[86],"their":[87,171],"generalization":[88],"capabilities":[89],"make":[90],"them":[91],"potential":[92],"building":[93],"blocks":[94],"high-assurance":[96],"AI/ML":[97],"systems":[98],"that":[99,118,148,163],"compose":[100],"multiple":[101],"FMs":[102,131,168],"LLMs.":[104],"In":[105],"this":[106],"paper,":[107],"we":[108],"propose":[109],"combining":[110],"neural":[111],"using":[115,180],"symbolic":[116],"programs":[117,179],"results":[119],"more":[122],"conditions.":[127],"Neuro-symbolic":[128],"composition":[129,203],"requires":[136],"interactive":[137],"unambiguous":[139],"specification":[140],"intent,":[143],"task":[144],"decomposition":[145],"into":[146],"subtasks":[147],"can":[149],"be":[150],"solved":[151],"by":[152],"individual":[153],"FMs,":[154,159],"program":[155],"synthesis":[156],"composing":[158],"neuro-symbolic":[161,178,202],"inference":[162,165],"schedules":[164],"different":[167],"combines":[170],"results.":[172],"We":[173],"give":[174],"examples":[175],"visual":[185],"question-answering":[186],"out-of-context":[190],"detection.":[191],"This":[192],"position":[193],"paper":[194],"identifies":[195],"challenges":[197],"opportunities":[199],"models.":[211]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}