{"id":"https://openalex.org/W3131450979","doi":"https://doi.org/10.1287/ijoc.2022.0050","title":"Learning Symbolic Expressions: Mixed-Integer Formulations, Cuts, and Heuristics","display_name":"Learning Symbolic Expressions: Mixed-Integer Formulations, Cuts, and Heuristics","publication_year":2023,"publication_date":"2023-07-19","ids":{"openalex":"https://openalex.org/W3131450979","doi":"https://doi.org/10.1287/ijoc.2022.0050","mag":"3131450979"},"language":"en","primary_location":{"id":"doi:10.1287/ijoc.2022.0050","is_oa":false,"landing_page_url":"https://doi.org/10.1287/ijoc.2022.0050","pdf_url":null,"source":{"id":"https://openalex.org/S165318533","display_name":"INFORMS journal on computing","issn_l":"1091-9856","issn":["1091-9856","1526-5528"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315699","host_organization_name":"Institute for Operations Research and the Management Sciences","host_organization_lineage":["https://openalex.org/P4310315699"],"host_organization_lineage_names":["Institute for Operations Research and the Management Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"INFORMS Journal on Computing","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2102.08351","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101418381","display_name":"Jongeun Kim","orcid":"https://orcid.org/0000-0003-3978-4650"},"institutions":[{"id":"https://openalex.org/I130238516","display_name":"University of Minnesota","ror":"https://ror.org/017zqws13","country_code":"US","type":"education","lineage":["https://openalex.org/I130238516"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jongeun Kim","raw_affiliation_strings":["Industrial and Systems Engineering, University of Minnesota-Twin Cities, Minneapolis, Minnesota 55455;"],"affiliations":[{"raw_affiliation_string":"Industrial and Systems Engineering, University of Minnesota-Twin Cities, Minneapolis, Minnesota 55455;","institution_ids":["https://openalex.org/I130238516"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084814006","display_name":"Sven Leyffer","orcid":"https://orcid.org/0000-0001-8839-5876"},"institutions":[{"id":"https://openalex.org/I1282105669","display_name":"Argonne National Laboratory","ror":"https://ror.org/05gvnxz63","country_code":"US","type":"facility","lineage":["https://openalex.org/I1282105669","https://openalex.org/I1330989302","https://openalex.org/I39565521","https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sven Leyffer","raw_affiliation_strings":["Mathematics and Computer Science Division, Argonne National Laboratory, Lemont, Illinois 60439;"],"affiliations":[{"raw_affiliation_string":"Mathematics and Computer Science Division, Argonne National Laboratory, Lemont, Illinois 60439;","institution_ids":["https://openalex.org/I1282105669"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068721920","display_name":"Prasanna Balaprakash","orcid":"https://orcid.org/0000-0002-0292-5715"},"institutions":[{"id":"https://openalex.org/I1289243028","display_name":"Oak Ridge National Laboratory","ror":"https://ror.org/01qz5mb56","country_code":"US","type":"facility","lineage":["https://openalex.org/I1289243028","https://openalex.org/I1330989302","https://openalex.org/I39565521","https://openalex.org/I4210159294"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Prasanna Balaprakash","raw_affiliation_strings":["Computing and Computational Sciences Directorate, Oak Ridge National Laboratory, Oak Ridge, Tennessee 37831"],"affiliations":[{"raw_affiliation_string":"Computing and Computational Sciences Directorate, Oak Ridge National Laboratory, Oak Ridge, Tennessee 37831","institution_ids":["https://openalex.org/I1289243028"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5101418381"],"corresponding_institution_ids":["https://openalex.org/I130238516"],"apc_list":null,"apc_paid":null,"fwci":0.6993,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.73676753,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"35","issue":"6","first_page":"1383","last_page":"1403"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10100","display_name":"Metaheuristic Optimization Algorithms Research","score":0.9980000257492065,"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/T10100","display_name":"Metaheuristic Optimization Algorithms Research","score":0.9980000257492065,"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/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.9965000152587891,"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/T10848","display_name":"Advanced Multi-Objective Optimization Algorithms","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/heuristics","display_name":"Heuristics","score":0.6879197955131531},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6174130439758301},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.5341179966926575},{"id":"https://openalex.org/keywords/operand","display_name":"Operand","score":0.4991738796234131},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.49637705087661743},{"id":"https://openalex.org/keywords/pascal","display_name":"Pascal (unit)","score":0.47491323947906494},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.4641854166984558},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.4468032419681549},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.43739259243011475},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.4284363389015198},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36588627099990845},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3341072201728821},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.27340084314346313},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.27077221870422363},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13208886981010437}],"concepts":[{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.6879197955131531},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6174130439758301},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.5341179966926575},{"id":"https://openalex.org/C55526617","wikidata":"https://www.wikidata.org/wiki/Q719375","display_name":"Operand","level":2,"score":0.4991738796234131},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.49637705087661743},{"id":"https://openalex.org/C75608658","wikidata":"https://www.wikidata.org/wiki/Q44395","display_name":"Pascal (unit)","level":2,"score":0.47491323947906494},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.4641854166984558},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.4468032419681549},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.43739259243011475},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.4284363389015198},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36588627099990845},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3341072201728821},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.27340084314346313},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.27077221870422363},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13208886981010437},{"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1287/ijoc.2022.0050","is_oa":false,"landing_page_url":"https://doi.org/10.1287/ijoc.2022.0050","pdf_url":null,"source":{"id":"https://openalex.org/S165318533","display_name":"INFORMS journal on computing","issn_l":"1091-9856","issn":["1091-9856","1526-5528"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315699","host_organization_name":"Institute for Operations Research and the Management Sciences","host_organization_lineage":["https://openalex.org/P4310315699"],"host_organization_lineage_names":["Institute for Operations Research and the Management Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"INFORMS Journal on Computing","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2102.08351","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2102.08351","pdf_url":"https://arxiv.org/pdf/2102.08351","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:RePEc:inm:orijoc:v:35:y:2023:i:6:p:1383-1403","is_oa":false,"landing_page_url":"http://doi.org/10.1287/ijoc.2022.0050","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},{"id":"doi:10.48550/arxiv.2102.08351","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2102.08351","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2102.08351","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2102.08351","pdf_url":"https://arxiv.org/pdf/2102.08351","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3131450979.pdf"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W1910855269","https://openalex.org/W1969186573","https://openalex.org/W1979769287","https://openalex.org/W2004407575","https://openalex.org/W2057830724","https://openalex.org/W2149454052","https://openalex.org/W2546700740","https://openalex.org/W2765602220","https://openalex.org/W2803008420","https://openalex.org/W2910230154","https://openalex.org/W2911327023","https://openalex.org/W2911811434","https://openalex.org/W2915825623","https://openalex.org/W2916974679","https://openalex.org/W2987724672","https://openalex.org/W3016401366","https://openalex.org/W3021291678","https://openalex.org/W3021945844","https://openalex.org/W3035447564","https://openalex.org/W3036384875","https://openalex.org/W3036548566","https://openalex.org/W3098197331","https://openalex.org/W3101699553","https://openalex.org/W3204212861","https://openalex.org/W4232585008","https://openalex.org/W4252634232","https://openalex.org/W4293744237","https://openalex.org/W4394641759"],"related_works":["https://openalex.org/W2556282987","https://openalex.org/W1533508804","https://openalex.org/W3177062893","https://openalex.org/W3125143773","https://openalex.org/W2007032764","https://openalex.org/W803550684","https://openalex.org/W2483226803","https://openalex.org/W4352977312","https://openalex.org/W4312926500","https://openalex.org/W2041180560"],"abstract_inverted_index":{"In":[0],"this":[1,87,98,186],"paper,":[2],"we":[3],"consider":[4],"the":[5,45,95,136,158,163,183,191,204],"problem":[6,18],"of":[7,97,166,169,185],"learning":[8],"a":[9,33,51,104,114,126,131],"regression":[10],"function":[11],"without":[12],"assuming":[13],"its":[14,194],"functional":[15],"form.":[16],"This":[17,153],"is":[19,28,37,188,219],"referred":[20],"to":[21,31,44,63,71],"as":[22,79,200,202],"symbolic":[23],"regression.":[24],"An":[25],"expression":[26,110],"tree":[27,111],"typically":[29],"used":[30,62,70],"represent":[32],"solution":[34,96],"function,":[35],"which":[36,58],"determined":[38],"by":[39,89,112,140,157],"assigning":[40],"operators":[41,65],"and":[42,48,66,83,121,130,193,216],"operands":[43],"nodes.":[46],"Cozad":[47],"Sahinidis":[49],"propose":[50,103],"nonconvex":[52],"mixed-integer":[53,127],"nonlinear":[54,67,76],"program":[55],"(MINLP),":[56],"in":[57],"binary":[59],"variables":[60],"are":[61,69],"assign":[64],"expressions":[68],"propagate":[72],"data":[73],"values":[74],"through":[75],"operators,":[77],"such":[78],"square,":[80],"square":[81],"root,":[82],"exponential.":[84],"We":[85,101,117],"extend":[86],"formulation":[88],"adding":[90],"new":[91],"cuts":[92],"that":[93,106,181],"improve":[94],"challenging":[99],"MINLP.":[100,116],"also":[102],"heuristic":[105],"iteratively":[107],"builds":[108],"an":[109],"solving":[113],"restricted":[115],"perform":[118],"computational":[119],"experiments":[120],"compare":[122],"our":[123],"approach":[124],"with":[125],"program\u2013based":[128],"method":[129,134],"neural":[132],"network\u2013based":[133],"from":[135,203],"literature.":[137],"History:":[138],"Accepted":[139],"Pascal":[141],"Van":[142],"Hentenryck,":[143],"Area":[144],"Editor":[145],"for":[146],"Computational":[147],"Modeling:":[148],"Methods":[149],"&":[150],"Analysis.":[151],"Funding:":[152],"work":[154],"was":[155],"supported":[156],"Applied":[159],"Mathematics":[160],"activity":[161],"within":[162,190],"U.S.":[164],"Department":[165],"Energy,":[167],"Office":[168],"Science,":[170],"Advanced":[171],"Scientific":[172],"Computing":[173],"Research":[174],"[Grant":[175],"DE-AC02-06CH11357].":[176],"Supplemental":[177,195],"Material:":[178],"The":[179,212],"software":[180,207],"supports":[182],"findings":[184],"study":[187],"available":[189,220],"paper":[192],"Information":[196],"(":[197,209],"https://pubsonline.informs.org/doi/suppl/10.1287/ijoc.2022.0050":[198],")":[199],"well":[201],"IJOC":[205,214],"GitHub":[206],"repository":[208],"https://github.com/INFORMSJoC/2022.0050":[210],").":[211],"complete":[213],"Software":[215],"Data":[217],"Repository":[218],"at":[221],"https://informsjoc.github.io/":[222],".":[223]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2021-03-01T00:00:00"}