{"id":"https://openalex.org/W4378768669","doi":"https://doi.org/10.48550/arxiv.2305.17145","title":"Type Prediction With Program Decomposition and Fill-in-the-Type Training","display_name":"Type Prediction With Program Decomposition and Fill-in-the-Type Training","publication_year":2023,"publication_date":"2023-05-25","ids":{"openalex":"https://openalex.org/W4378768669","doi":"https://doi.org/10.48550/arxiv.2305.17145"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2305.17145","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2305.17145","pdf_url":"https://arxiv.org/pdf/2305.17145","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2305.17145","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061118771","display_name":"Federico Cassano","orcid":"https://orcid.org/0000-0002-9318-7454"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cassano, Federico","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056054051","display_name":"Ming\u2010Ho Yee","orcid":"https://orcid.org/0000-0002-8008-8481"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yee, Ming-Ho","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037103409","display_name":"Noah Shinn","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shinn, Noah","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044042294","display_name":"Arjun Guha","orcid":"https://orcid.org/0000-0002-7493-3271"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guha, Arjun","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5066166509","display_name":"Steven Holtzen","orcid":"https://orcid.org/0000-0002-8190-5412"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Holtzen, Steven","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":true,"cited_by_count":1,"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/T10260","display_name":"Software Engineering Research","score":0.9991000294685364,"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.9991000294685364,"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/T10028","display_name":"Topic Modeling","score":0.9850999712944031,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9678000211715698,"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/typescript","display_name":"TypeScript","score":0.7998007535934448},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7625601291656494},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.6952193975448608},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5970993041992188},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.4638967514038086},{"id":"https://openalex.org/keywords/scala","display_name":"Scala","score":0.4472787380218506},{"id":"https://openalex.org/keywords/decomposition","display_name":"Decomposition","score":0.41418182849884033},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3727816641330719},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.34424924850463867},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.08606883883476257}],"concepts":[{"id":"https://openalex.org/C2777869424","wikidata":"https://www.wikidata.org/wiki/Q978185","display_name":"TypeScript","level":2,"score":0.7998007535934448},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7625601291656494},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.6952193975448608},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5970993041992188},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.4638967514038086},{"id":"https://openalex.org/C109701466","wikidata":"https://www.wikidata.org/wiki/Q460584","display_name":"Scala","level":3,"score":0.4472787380218506},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.41418182849884033},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3727816641330719},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.34424924850463867},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.08606883883476257},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2305.17145","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2305.17145","pdf_url":"https://arxiv.org/pdf/2305.17145","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2305.17145","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2305.17145","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2305.17145","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2305.17145","pdf_url":"https://arxiv.org/pdf/2305.17145","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"display_name":"Quality Education","score":0.6399999856948853,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4378768669.pdf","grobid_xml":"https://content.openalex.org/works/W4378768669.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W30307752","https://openalex.org/W3013404979","https://openalex.org/W4313116388","https://openalex.org/W4387303308","https://openalex.org/W118603671","https://openalex.org/W1980610472","https://openalex.org/W2911692446","https://openalex.org/W4243337686","https://openalex.org/W2732443512","https://openalex.org/W4248564162"],"abstract_inverted_index":{"TypeScript":[0,132],"and":[1,19,66,117,135,159],"Python":[2],"are":[3,13,40,47,161],"two":[4],"programming":[5],"languages":[6],"that":[7,91,110,137],"support":[8],"optional":[9],"type":[10,25,43,64,89,102,133,141,152],"annotations,":[11],"which":[12],"useful":[14],"but":[15,45],"tedious":[16],"to":[17,70],"introduce":[18],"maintain.":[20],"This":[21],"has":[22],"motivated":[23],"automated":[24],"prediction:":[26],"given":[27],"an":[28,147],"untyped":[29],"program,":[30],"produce":[31],"a":[32,85,98,106,112,128],"well-typed":[33,73],"output":[34,75],"program.":[35],"Large":[36],"language":[37,94],"models":[38,160],"(LLMs)":[39],"promising":[41],"for":[42,88,101,121,131],"prediction,":[44,134],"there":[46],"challenges:":[48],"fill-in-the-middle":[49],"performs":[50],"poorly,":[51],"programs":[52],"may":[53,62],"not":[54,63],"fit":[55],"into":[56],"the":[57,74],"context":[58],"window,":[59],"generated":[60,115],"types":[61],"check,":[65],"it":[67],"is":[68],"difficult":[69],"measure":[71],"how":[72],"program":[76,108],"is.":[77],"We":[78,96,123],"address":[79],"these":[80],"challenges":[81],"by":[82],"building":[83],"OpenTau,":[84],"search-based":[86],"approach":[87],"prediction":[90,103],"leverages":[92],"large":[93],"models.":[95],"propose":[97],"new":[99,129],"metric":[100],"quality,":[104],"give":[105],"tree-based":[107],"decomposition":[109],"searches":[111],"space":[113],"of":[114,139,150],"types,":[116],"present":[118],"fill-in-the-type":[119],"fine-tuning":[120],"LLMs.":[122],"evaluate":[124],"our":[125],"work":[126],"with":[127,146],"dataset":[130],"show":[136],"47.4%":[138],"files":[140],"check":[142],"(14.5%":[143],"absolute":[144],"improvement)":[145],"overall":[148],"rate":[149],"3.3":[151],"errors":[153],"per":[154],"file.":[155],"All":[156],"code,":[157],"data,":[158],"available":[162],"at:":[163],"https://github.com/GammaTauAI/opentau.":[164]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-08-11T07:18:39.950985","created_date":"2025-10-10T00:00:00"}