{"id":"https://openalex.org/W3160198280","doi":"https://doi.org/10.1109/icassp39728.2021.9415044","title":"Training Logical Neural Networks by Primal\u2013Dual Methods for Neuro-Symbolic Reasoning","display_name":"Training Logical Neural Networks by Primal\u2013Dual Methods for Neuro-Symbolic Reasoning","publication_year":2021,"publication_date":"2021-05-13","ids":{"openalex":"https://openalex.org/W3160198280","doi":"https://doi.org/10.1109/icassp39728.2021.9415044","mag":"3160198280"},"language":"en","primary_location":{"id":"doi:10.1109/icassp39728.2021.9415044","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icassp39728.2021.9415044","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ICASSP 2021 - 2021 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)","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/A5088593720","display_name":"Songtao Lu","orcid":"https://orcid.org/0000-0001-9256-9648"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Songtao Lu","raw_affiliation_strings":["IBM Research AI, New York, USA"],"affiliations":[{"raw_affiliation_string":"IBM Research AI, New York, USA","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041630842","display_name":"Naweed Khan","orcid":null},"institutions":[{"id":"https://openalex.org/I4210162937","display_name":"IBM Research - Africa","ror":"https://ror.org/05c0m9m16","country_code":"ZA","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210162937"]}],"countries":["ZA"],"is_corresponding":false,"raw_author_name":"Naweed Khan","raw_affiliation_strings":["IBM Research Africa, Johannesburg, South Africa"],"affiliations":[{"raw_affiliation_string":"IBM Research Africa, Johannesburg, South Africa","institution_ids":["https://openalex.org/I4210162937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006310905","display_name":"Ismail Yunus Akhalwaya","orcid":null},"institutions":[{"id":"https://openalex.org/I4210162937","display_name":"IBM Research - Africa","ror":"https://ror.org/05c0m9m16","country_code":"ZA","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210162937"]},{"id":"https://openalex.org/I192619145","display_name":"University of the Witwatersrand","ror":"https://ror.org/03rp50x72","country_code":"ZA","type":"education","lineage":["https://openalex.org/I192619145"]}],"countries":["ZA"],"is_corresponding":false,"raw_author_name":"Ismail Yunus Akhalwaya","raw_affiliation_strings":["IBM Research Africa, Johannesburg, South Africa","University of the Witwatersrand, Johannesburg, South Africa"],"affiliations":[{"raw_affiliation_string":"IBM Research Africa, Johannesburg, South Africa","institution_ids":["https://openalex.org/I4210162937"]},{"raw_affiliation_string":"University of the Witwatersrand, Johannesburg, South Africa","institution_ids":["https://openalex.org/I192619145"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004106714","display_name":"Ryan Riegel","orcid":"https://orcid.org/0000-0002-5204-6524"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ryan Riegel","raw_affiliation_strings":["IBM Research AI, New York, USA"],"affiliations":[{"raw_affiliation_string":"IBM Research AI, New York, USA","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089022499","display_name":"Lior Horesh","orcid":"https://orcid.org/0000-0001-6350-0238"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lior Horesh","raw_affiliation_strings":["IBM Research AI, New York, USA"],"affiliations":[{"raw_affiliation_string":"IBM Research AI, New York, USA","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005255629","display_name":"Alexander Gray","orcid":"https://orcid.org/0000-0003-0337-7359"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alexander Gray","raw_affiliation_strings":["IBM Research AI, New York, USA"],"affiliations":[{"raw_affiliation_string":"IBM Research AI, New York, USA","institution_ids":["https://openalex.org/I1341412227"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5088593720"],"corresponding_institution_ids":["https://openalex.org/I1341412227"],"apc_list":null,"apc_paid":null,"fwci":0.42,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.68330316,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"18","issue":null,"first_page":"5559","last_page":"5563"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.9993000030517578,"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/T10320","display_name":"Neural Networks and Applications","score":0.9993000030517578,"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.9984999895095825,"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/T12535","display_name":"Machine Learning and Data Classification","score":0.9965999722480774,"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/karush\u2013kuhn\u2013tucker-conditions","display_name":"Karush\u2013Kuhn\u2013Tucker conditions","score":0.9184591174125671},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7251508831977844},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.6559666395187378},{"id":"https://openalex.org/keywords/gradient-descent","display_name":"Gradient descent","score":0.5723212957382202},{"id":"https://openalex.org/keywords/dual","display_name":"Dual (grammatical number)","score":0.5568001866340637},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5317429900169373},{"id":"https://openalex.org/keywords/convergence","display_name":"Convergence (economics)","score":0.5295558571815491},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5191099643707275},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4875435531139374},{"id":"https://openalex.org/keywords/optimization-problem","display_name":"Optimization problem","score":0.43567875027656555},{"id":"https://openalex.org/keywords/rate-of-convergence","display_name":"Rate of convergence","score":0.4348011016845703},{"id":"https://openalex.org/keywords/nonlinear-programming","display_name":"Nonlinear programming","score":0.42787501215934753},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.4080127775669098},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.3460479974746704},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.22274935245513916},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18466442823410034},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.10753846168518066}],"concepts":[{"id":"https://openalex.org/C50454189","wikidata":"https://www.wikidata.org/wiki/Q2075125","display_name":"Karush\u2013Kuhn\u2013Tucker conditions","level":2,"score":0.9184591174125671},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7251508831977844},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6559666395187378},{"id":"https://openalex.org/C153258448","wikidata":"https://www.wikidata.org/wiki/Q1199743","display_name":"Gradient descent","level":3,"score":0.5723212957382202},{"id":"https://openalex.org/C2780980858","wikidata":"https://www.wikidata.org/wiki/Q110022","display_name":"Dual (grammatical number)","level":2,"score":0.5568001866340637},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5317429900169373},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.5295558571815491},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5191099643707275},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4875435531139374},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.43567875027656555},{"id":"https://openalex.org/C57869625","wikidata":"https://www.wikidata.org/wiki/Q1783502","display_name":"Rate of convergence","level":3,"score":0.4348011016845703},{"id":"https://openalex.org/C115527620","wikidata":"https://www.wikidata.org/wiki/Q769909","display_name":"Nonlinear programming","level":3,"score":0.42787501215934753},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4080127775669098},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.3460479974746704},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.22274935245513916},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18466442823410034},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.10753846168518066},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icassp39728.2021.9415044","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icassp39728.2021.9415044","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ICASSP 2021 - 2021 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":47,"referenced_works":["https://openalex.org/W1516111018","https://openalex.org/W1573992413","https://openalex.org/W1977970897","https://openalex.org/W2004357692","https://openalex.org/W2025469203","https://openalex.org/W2057624533","https://openalex.org/W2105693192","https://openalex.org/W2164278908","https://openalex.org/W2295652899","https://openalex.org/W2346438296","https://openalex.org/W2595304583","https://openalex.org/W2914301404","https://openalex.org/W2946752867","https://openalex.org/W2955184355","https://openalex.org/W2962853966","https://openalex.org/W2963572185","https://openalex.org/W2965794435","https://openalex.org/W2969771825","https://openalex.org/W2970583209","https://openalex.org/W2980884817","https://openalex.org/W3035320230","https://openalex.org/W3035625450","https://openalex.org/W3036143115","https://openalex.org/W3039253706","https://openalex.org/W3047503326","https://openalex.org/W3048490699","https://openalex.org/W3083025901","https://openalex.org/W3092401114","https://openalex.org/W3104831388","https://openalex.org/W3120740533","https://openalex.org/W3153954249","https://openalex.org/W4242766606","https://openalex.org/W4249667877","https://openalex.org/W4288351558","https://openalex.org/W4289276021","https://openalex.org/W4293877733","https://openalex.org/W4294299904","https://openalex.org/W6638588478","https://openalex.org/W6705072498","https://openalex.org/W6758970031","https://openalex.org/W6763464472","https://openalex.org/W6764644601","https://openalex.org/W6779645160","https://openalex.org/W6779909828","https://openalex.org/W6779943689","https://openalex.org/W6781756483","https://openalex.org/W6784537920"],"related_works":["https://openalex.org/W2594574147","https://openalex.org/W2807256486","https://openalex.org/W4230146972","https://openalex.org/W4387967834","https://openalex.org/W2477209608","https://openalex.org/W4205616904","https://openalex.org/W2597862030","https://openalex.org/W2074375256","https://openalex.org/W4232761048","https://openalex.org/W2072206086"],"abstract_inverted_index":{"Parametrized":[0],"machine":[1,58],"learning":[2,59],"models":[3,19],"for":[4,93],"inference":[5],"often":[6],"include":[7],"non-linear":[8],"and":[9,15,26,104,126],"nonconvex":[10],"constraints":[11],"over":[12,130],"the":[13,43,49,65,106,111,134,137],"parameters":[14],"meta-parameters.":[16],"Training":[17],"these":[18],"to":[20,41,110],"convergence":[21,108],"is":[22],"in":[23,64],"general":[24],"difficult,":[25],"naive":[27],"methods":[28],"such":[29],"as":[30],"projected":[31],"gradient":[32],"descent":[33],"or":[34],"grid":[35],"search":[36],"are":[37],"not":[38],"easily":[39],"able":[40],"enforce":[42],"functional":[44],"constraints.":[45,84],"This":[46],"work":[47],"explores":[48],"optimization":[50,102],"of":[51,67,80,115,136],"a":[52,76,90,123],"constrained":[53],"neural":[54,72],"network":[55],"(familiar":[56],"from":[57],"but":[60],"with":[61],"parameter":[62],"constraints),":[63],"service":[66],"neuro-symbolic":[68],"logical":[69],"reasoning.":[70],"Logical":[71],"networks":[73],"(LNNs)":[74],"provide":[75],"well-justified,":[77],"interpretable":[78],"example":[79,125],"training":[81,127],"under":[82],"non-trivial":[83],"In":[85],"this":[86,95,116],"paper,":[87],"we":[88],"propose":[89],"unified":[91],"framework":[92],"solving":[94],"nonlinear":[96],"programming":[97],"problem":[98],"by":[99],"leveraging":[100],"primal-dual":[101],"methods,":[103],"quantify":[105],"corresponding":[107],"rate":[109],"Karush-Kuhn-Tucker":[112],"(KKT)":[113],"points":[114],"problem.":[117],"Extensive":[118],"numerical":[119],"results":[120],"on":[121],"both":[122],"toy":[124],"an":[128],"LNN":[129],"real":[131],"datasets":[132],"validate":[133],"efficacy":[135],"method.":[138]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2026-04-23T09:07:50.710637","created_date":"2025-10-10T00:00:00"}