{"id":"https://openalex.org/W4389520432","doi":"https://doi.org/10.18653/v1/2023.findings-emnlp.601","title":"Natural Language Annotations for Reasoning about Program Semantics","display_name":"Natural Language Annotations for Reasoning about Program Semantics","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4389520432","doi":"https://doi.org/10.18653/v1/2023.findings-emnlp.601"},"language":"en","primary_location":{"id":"doi:10.18653/v1/2023.findings-emnlp.601","is_oa":true,"landing_page_url":"http://dx.doi.org/10.18653/v1/2023.findings-emnlp.601","pdf_url":"https://aclanthology.org/2023.findings-emnlp.601.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Findings of the Association for Computational Linguistics: EMNLP 2023","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://aclanthology.org/2023.findings-emnlp.601.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076596867","display_name":"Marco Zocca","orcid":"https://orcid.org/0000-0001-5210-9794"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Marco Zocca","raw_affiliation_strings":["UnfoldML, G\u00f6teborg, Sweden"],"affiliations":[{"raw_affiliation_string":"UnfoldML, G\u00f6teborg, Sweden","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5076596867"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.29104092,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"8961","last_page":"8966"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998000264167786,"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.9998000264167786,"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.9969000220298767,"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/T11948","display_name":"Machine Learning in Materials Science","score":0.9824000000953674,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials 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.8533996343612671},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7991464138031006},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.6170399188995361},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6077961325645447},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.562225341796875},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.5307300686836243},{"id":"https://openalex.org/keywords/programming-language-specification","display_name":"Programming language specification","score":0.5102074146270752},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.4841533303260803},{"id":"https://openalex.org/keywords/natural-language-programming","display_name":"Natural language programming","score":0.4671596586704254},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4626513421535492},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.19657215476036072},{"id":"https://openalex.org/keywords/universal-networking-language","display_name":"Universal Networking Language","score":0.17315763235092163},{"id":"https://openalex.org/keywords/programming-domain","display_name":"Programming domain","score":0.10818076133728027},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.1024845540523529}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8533996343612671},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7991464138031006},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.6170399188995361},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6077961325645447},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.562225341796875},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.5307300686836243},{"id":"https://openalex.org/C15077461","wikidata":"https://www.wikidata.org/wiki/Q7248507","display_name":"Programming language specification","level":5,"score":0.5102074146270752},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.4841533303260803},{"id":"https://openalex.org/C67463725","wikidata":"https://www.wikidata.org/wiki/Q17081452","display_name":"Natural language programming","level":5,"score":0.4671596586704254},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4626513421535492},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.19657215476036072},{"id":"https://openalex.org/C83479923","wikidata":"https://www.wikidata.org/wiki/Q2063748","display_name":"Universal Networking Language","level":4,"score":0.17315763235092163},{"id":"https://openalex.org/C119263510","wikidata":"https://www.wikidata.org/wiki/Q7248501","display_name":"Programming domain","level":4,"score":0.10818076133728027},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.1024845540523529},{"id":"https://openalex.org/C129353971","wikidata":"https://www.wikidata.org/wiki/Q5156949","display_name":"Comprehension approach","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18653/v1/2023.findings-emnlp.601","is_oa":true,"landing_page_url":"http://dx.doi.org/10.18653/v1/2023.findings-emnlp.601","pdf_url":"https://aclanthology.org/2023.findings-emnlp.601.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Findings of the Association for Computational Linguistics: EMNLP 2023","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.18653/v1/2023.findings-emnlp.601","is_oa":true,"landing_page_url":"http://dx.doi.org/10.18653/v1/2023.findings-emnlp.601","pdf_url":"https://aclanthology.org/2023.findings-emnlp.601.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Findings of the Association for Computational Linguistics: EMNLP 2023","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.8399999737739563}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4389520432.pdf"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W149336996","https://openalex.org/W2045254372","https://openalex.org/W2890431379","https://openalex.org/W2964315653","https://openalex.org/W2987907651","https://openalex.org/W3034830866","https://openalex.org/W3126675481","https://openalex.org/W3173493489","https://openalex.org/W3173805051","https://openalex.org/W3198685994","https://openalex.org/W3202267117","https://openalex.org/W3210461265","https://openalex.org/W4205870266","https://openalex.org/W4281763794","https://openalex.org/W4288089799","https://openalex.org/W4309804142","https://openalex.org/W4310428868","https://openalex.org/W4385573514","https://openalex.org/W4394638297"],"related_works":["https://openalex.org/W2116246834","https://openalex.org/W2067805538","https://openalex.org/W4310801723","https://openalex.org/W2913520953","https://openalex.org/W2067569787","https://openalex.org/W2113436743","https://openalex.org/W2133165398","https://openalex.org/W2055215903","https://openalex.org/W154771020","https://openalex.org/W3204197758"],"abstract_inverted_index":{"By":[0],"grounding":[1],"natural":[2,61,86],"language":[3,87],"inference":[4],"in":[5,27,60,66],"code":[6,94],"(and":[7],"vice":[8],"versa),":[9],"researchers":[10],"aim":[11],"to":[12,47,71],"create":[13],"programming":[14],"assistants":[15],"that":[16],"explain":[17],"their":[18,28,39],"work,":[19],"are":[20],"\u201ccoachable\u201d":[21],"and":[22,41,55,69,80,96],"can":[23,57],"surface":[24],"any":[25],"gaps":[26],"reasoning.":[29],"Can":[30],"we":[31,75],"deduce":[32],"automatically":[33],"interesting":[34],"properties":[35],"of":[36,52],"programs":[37,84],"from":[38],"syntax":[40],"common-sense":[42],"annotations":[43],"alone,":[44],"without":[45,97],"resorting":[46],"static":[48],"analysis?":[49],"How":[50],"much":[51],"program":[53],"logic":[54],"behaviour":[56],"be":[58],"captured":[59],"language?":[62],"To":[63],"stimulate":[64],"research":[65],"this":[67],"direction":[68],"attempt":[70],"answer":[72],"these":[73],"questions":[74],"propose":[76],"HTL,":[77],"a":[78,90],"dataset":[79,104],"protocol":[81],"for":[82],"annotating":[83],"with":[85],"predicates":[88],"at":[89,107],"finer":[91],"granularity":[92],"than":[93],"comments":[95],"relying":[98],"on":[99],"internal":[100],"compiler":[101],"representations.":[102],"The":[103],"is":[105],"available":[106],"the":[108],"following":[109],"address:":[110],"https://doi.org/10.5281/zenodo.7893113":[111],".":[112]},"counts_by_year":[],"updated_date":"2025-12-21T23:12:01.093139","created_date":"2025-10-10T00:00:00"}