{"id":"https://openalex.org/W2902126231","doi":"https://doi.org/10.1609/aaai.v33i01.33012362","title":"Stepping Stones to Inductive Synthesis of Low-Level Looping Programs","display_name":"Stepping Stones to Inductive Synthesis of Low-Level Looping Programs","publication_year":2019,"publication_date":"2019-07-17","ids":{"openalex":"https://openalex.org/W2902126231","doi":"https://doi.org/10.1609/aaai.v33i01.33012362","mag":"2902126231"},"language":"en","primary_location":{"id":"doi:10.1609/aaai.v33i01.33012362","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v33i01.33012362","pdf_url":"https://www.aaai.org/ojs/index.php/AAAI/article/download/4076/3954","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://www.aaai.org/ojs/index.php/AAAI/article/download/4076/3954","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5035560070","display_name":"Christopher D. Rosin","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Christopher D. Rosin","raw_affiliation_strings":["Parity Computing"],"affiliations":[{"raw_affiliation_string":"Parity Computing","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5035560070"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.15607102,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.80693069,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"33","issue":"01","first_page":"2362","last_page":"2370"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9578999876976013,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9506000280380249,"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/computer-science","display_name":"Computer science","score":0.7684049606323242},{"id":"https://openalex.org/keywords/sort","display_name":"sort","score":0.6940038204193115},{"id":"https://openalex.org/keywords/sorting-algorithm","display_name":"Sorting algorithm","score":0.6809631586074829},{"id":"https://openalex.org/keywords/sorting","display_name":"Sorting","score":0.6539722681045532},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6153695583343506},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.48430076241493225},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4829846918582916},{"id":"https://openalex.org/keywords/program-synthesis","display_name":"Program synthesis","score":0.4619463086128235},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4572867751121521},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.44639408588409424},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4371027946472168},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3586002588272095},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11493593454360962},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.08810502290725708}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7684049606323242},{"id":"https://openalex.org/C88548561","wikidata":"https://www.wikidata.org/wiki/Q347599","display_name":"sort","level":2,"score":0.6940038204193115},{"id":"https://openalex.org/C108094655","wikidata":"https://www.wikidata.org/wiki/Q181593","display_name":"Sorting algorithm","level":3,"score":0.6809631586074829},{"id":"https://openalex.org/C111696304","wikidata":"https://www.wikidata.org/wiki/Q2303697","display_name":"Sorting","level":2,"score":0.6539722681045532},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6153695583343506},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.48430076241493225},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4829846918582916},{"id":"https://openalex.org/C2776937632","wikidata":"https://www.wikidata.org/wiki/Q4117718","display_name":"Program synthesis","level":2,"score":0.4619463086128235},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4572867751121521},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.44639408588409424},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4371027946472168},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3586002588272095},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11493593454360962},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.08810502290725708},{"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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1609/aaai.v33i01.33012362","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v33i01.33012362","pdf_url":"https://www.aaai.org/ojs/index.php/AAAI/article/download/4076/3954","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1811.10665","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1811.10665","pdf_url":"https://arxiv.org/pdf/1811.10665","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"mag:2902126231","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1811.10665","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1811.10665","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1811.10665","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.1609/aaai.v33i01.33012362","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v33i01.33012362","pdf_url":"https://www.aaai.org/ojs/index.php/AAAI/article/download/4076/3954","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Quality Education","score":0.5400000214576721,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2902126231.pdf","grobid_xml":"https://content.openalex.org/works/W2902126231.grobid-xml"},"referenced_works_count":47,"referenced_works":["https://openalex.org/W196393734","https://openalex.org/W335088652","https://openalex.org/W1509437856","https://openalex.org/W1965446936","https://openalex.org/W1978661986","https://openalex.org/W2006900370","https://openalex.org/W2012436850","https://openalex.org/W2084288340","https://openalex.org/W2093535699","https://openalex.org/W2108200035","https://openalex.org/W2113307326","https://openalex.org/W2162960800","https://openalex.org/W2240847203","https://openalex.org/W2250787296","https://openalex.org/W2276356546","https://openalex.org/W2332118307","https://openalex.org/W2511174833","https://openalex.org/W2560288281","https://openalex.org/W2590160108","https://openalex.org/W2604556510","https://openalex.org/W2605887895","https://openalex.org/W2607964821","https://openalex.org/W2731782677","https://openalex.org/W2734404947","https://openalex.org/W2736203526","https://openalex.org/W2752853835","https://openalex.org/W2807847220","https://openalex.org/W2886010853","https://openalex.org/W2887101452","https://openalex.org/W2976890614","https://openalex.org/W6608006189","https://openalex.org/W6622763630","https://openalex.org/W6628879473","https://openalex.org/W6632373460","https://openalex.org/W6634181062","https://openalex.org/W6641749732","https://openalex.org/W6645067617","https://openalex.org/W6652052091","https://openalex.org/W6666083373","https://openalex.org/W6669417358","https://openalex.org/W6673393722","https://openalex.org/W6675863377","https://openalex.org/W6684321146","https://openalex.org/W6690161281","https://openalex.org/W6691312465","https://openalex.org/W6752180892","https://openalex.org/W6811020836"],"related_works":["https://openalex.org/W2964232543","https://openalex.org/W2789599444","https://openalex.org/W2626990892","https://openalex.org/W2093535699","https://openalex.org/W2054907275","https://openalex.org/W1545506277","https://openalex.org/W2626584434","https://openalex.org/W2949895386","https://openalex.org/W2890007640","https://openalex.org/W1584616449","https://openalex.org/W3048214730","https://openalex.org/W2963503788","https://openalex.org/W1763184445","https://openalex.org/W2982998725","https://openalex.org/W3117975267","https://openalex.org/W2953054522","https://openalex.org/W3022987743","https://openalex.org/W1656563103","https://openalex.org/W3162459243","https://openalex.org/W3212383901"],"abstract_inverted_index":{"Inductive":[0],"program":[1,149,185],"synthesis,":[2],"from":[3,14,107,191],"input/output":[4,108],"examples,":[5],"can":[6],"provide":[7],"an":[8],"opportunity":[9],"to":[10,33,81,87,117,125],"automatically":[11],"create":[12],"programs":[13,28,106,122],"scratch":[15],"without":[16,69],"presupposing":[17],"the":[18,22,41,44,48,70,144,155,166,189,192],"algorithmic":[19,58],"form":[20],"of":[21,26,43,50,67,72,138,157,168,188],"solution.":[23],"For":[24],"induction":[25],"general":[27],"with":[29],"loops":[30],"(as":[31],"opposed":[32],"loop-free":[34],"programs,":[35],"or":[36],"synthesis":[37,150],"for":[38],"domain-specific":[39],"languages),":[40],"state":[42],"art":[45],"is":[46,80,176],"at":[47],"level":[49],"introductory":[51],"programming":[52,196],"assignments.":[53],"Most":[54],"problems":[55],"that":[56,84,102,123,175],"require":[57],"subtlety,":[59],"such":[60],"as":[61],"fast":[62],"sorting,":[63],"have":[64],"remained":[65],"out":[66],"reach":[68],"benefit":[71],"significant":[73],"problem-specific":[74],"background":[75],"knowledge.":[76],"A":[77],"key":[78],"challenge":[79],"identify":[82,118],"cues":[83],"are":[85],"available":[86],"guide":[88],"search":[89],"towards":[90],"correct":[91],"looping":[92,105],"programs.":[93],"We":[94],"present":[95],"MAKESPEARE,":[96],"a":[97,136,183],"simple":[98],"delayed-acceptance":[99],"hillclimbing":[100],"method":[101,132],"synthesizes":[103],"low-level":[104],"examples.":[109],"During":[110],"search,":[111],"delayed":[112],"acceptance":[113],"bypasses":[114],"small":[115],"gains":[116],"significantly-improved":[119],"stepping":[120],"stone":[121],"tend":[124],"generalize":[126],"and":[127,141],"enable":[128],"further":[129],"progress.":[130],"The":[131],"performs":[133],"well":[134],"on":[135,143,186],"set":[137],"established":[139],"benchmarks,":[140],"succeeds":[142],"previously":[145],"unsolved":[146],"\u201cCollatz":[147],"Numbers\u201d":[148],"problem.":[151],"Additional":[152],"benchmarks":[153],"include":[154],"problem":[156],"rapidly":[158],"sorting":[159],"integer":[160],"arrays,":[161],"in":[162],"which":[163],"we":[164],"observe":[165],"emergence":[167],"comb":[169],"sort":[170,173],"(a":[171],"Shell":[172],"variant":[174],"empirically":[177],"fast).":[178],"MAKESPEARE":[179],"has":[180],"also":[181],"synthesized":[182],"record-setting":[184],"one":[187],"puzzles":[190],"TIS100":[193],"assembly":[194],"language":[195],"game.":[197]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2}],"updated_date":"2026-02-09T09:26:11.010843","created_date":"2025-10-10T00:00:00"}