{"id":"https://openalex.org/W4389519952","doi":"https://doi.org/10.18653/v1/2023.emnlp-main.985","title":"NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models","display_name":"NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4389519952","doi":"https://doi.org/10.18653/v1/2023.emnlp-main.985"},"language":"en","primary_location":{"id":"doi:10.18653/v1/2023.emnlp-main.985","doi":"https://doi.org/10.18653/v1/2023.emnlp-main.985","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2023.emnlp-main.985","pdf_url":"https://aclanthology.org/2023.emnlp-main.985.pdf","source":{"id":"https://openalex.org/S4363608991","display_name":"Conference on Empirical Methods in Natural Language Processing (EMNLP)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://aclanthology.org/2023.emnlp-main.985.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5115580462","display_name":"Yongchao Chen","orcid":"https://orcid.org/0000-0001-7792-0989","observed_orcids":["https://orcid.org/0000-0001-7792-0989"]},"institutions":[{"id":"https://openalex.org/I136199984","display_name":"Harvard University","ror":"https://ror.org/03vek6s52","country_code":"US","type":"education","lineage":["https://openalex.org/I136199984"]},{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yongchao Chen","raw_affiliation_strings":["MIT / Harvard"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MIT / Harvard","institution_ids":["https://openalex.org/I136199984","https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113067503","display_name":"R. Gandhi","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rujul Gandhi","raw_affiliation_strings":["MIT"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MIT","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100354569","display_name":"Yang Zhang","orcid":"https://orcid.org/0000-0001-6777-3487","observed_orcids":["https://orcid.org/0000-0001-6777-3487","https://orcid.org/0009-0009-2966-0436"]},"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":"Yang Zhang","raw_affiliation_strings":["MIT-IBM Watson AI Lab"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MIT-IBM Watson AI Lab","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019603699","display_name":"Chuchu Fan","orcid":"https://orcid.org/0000-0003-4671-233X","observed_orcids":["https://orcid.org/0000-0003-4671-233X"]},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chuchu Fan","raw_affiliation_strings":["MIT"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MIT","institution_ids":["https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":12.5695,"has_fulltext":true,"cited_by_count":71,"citation_normalized_percentile":{"value":0.99171004,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"15880","last_page":"15903"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.5737000107765198,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.5737000107765198,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.2354000061750412,"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/T10028","display_name":"Topic Modeling","score":0.13729999959468842,"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/temporal-logic","display_name":"temporal logic","score":0.7680000066757202},{"id":"https://openalex.org/keywords/large-language-models","display_name":"large language models","score":0.9660000205039978},{"id":"https://openalex.org/keywords/t5","display_name":"T5","score":0.6100000143051147},{"id":"https://openalex.org/keywords/domain-generalization","display_name":"domain generalization","score":0.6420000195503235}],"concepts":[{"id":"https://openalex.org/C27158222","wikidata":"https://www.wikidata.org/wiki/Q5532422","display_name":"Generalizability theory","level":2,"score":0.7475094199180603},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7166733145713806},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.6335393190383911},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.5877612829208374},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5767261385917664},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5250601172447205},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.5218150019645691},{"id":"https://openalex.org/C12725497","wikidata":"https://www.wikidata.org/wiki/Q810247","display_name":"Baseline (sea)","level":2,"score":0.43745267391204834},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.43653595447540283},{"id":"https://openalex.org/C2776321320","wikidata":"https://www.wikidata.org/wiki/Q857525","display_name":"Annotation","level":2,"score":0.4278775751590729},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.09582546353340149},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0921860933303833},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C111368507","wikidata":"https://www.wikidata.org/wiki/Q43518","display_name":"Oceanography","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"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/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C138496976","wikidata":"https://www.wikidata.org/wiki/Q175002","display_name":"Developmental psychology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.18653/v1/2023.emnlp-main.985","doi":"https://doi.org/10.18653/v1/2023.emnlp-main.985","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2023.emnlp-main.985","pdf_url":"https://aclanthology.org/2023.emnlp-main.985.pdf","source":{"id":"https://openalex.org/S4363608991","display_name":"Conference on Empirical Methods in Natural Language Processing (EMNLP)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2305.07766","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2305.07766","pdf_url":"https://arxiv.org/pdf/2305.07766","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,"listed_in":[],"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":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2305.07766","doi":"https://doi.org/10.48550/arxiv.2305.07766","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2305.07766","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,"listed_in":[],"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":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.18653/v1/2023.emnlp-main.985","doi":"https://doi.org/10.18653/v1/2023.emnlp-main.985","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2023.emnlp-main.985","pdf_url":"https://aclanthology.org/2023.emnlp-main.985.pdf","source":{"id":"https://openalex.org/S4363608991","display_name":"Conference on Empirical Methods in Natural Language Processing (EMNLP)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G4720003262","display_name":null,"funder_award_id":"N00014-22","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4389519952.pdf","grobid_xml":"https://content.openalex.org/works/W4389519952.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W1547304883","https://openalex.org/W1607877490","https://openalex.org/W1612453857","https://openalex.org/W1949907236","https://openalex.org/W2004796166","https://openalex.org/W2007820193","https://openalex.org/W2026629052","https://openalex.org/W2277684984","https://openalex.org/W2295357975","https://openalex.org/W2562465323","https://openalex.org/W2626778328","https://openalex.org/W2807172739","https://openalex.org/W2981852735","https://openalex.org/W2982695815","https://openalex.org/W3003205975","https://openalex.org/W3003444615","https://openalex.org/W3030163527","https://openalex.org/W3039732322","https://openalex.org/W3047854898","https://openalex.org/W3121030992","https://openalex.org/W3169068430","https://openalex.org/W3177813494","https://openalex.org/W3205485021","https://openalex.org/W4224308101","https://openalex.org/W4224912544","https://openalex.org/W4281250694","https://openalex.org/W4286364676","https://openalex.org/W4286969054","https://openalex.org/W4360836968","https://openalex.org/W4382463985"],"related_works":["https://openalex.org/W4417521286","https://openalex.org/W6908896422","https://openalex.org/W4416888701","https://openalex.org/W4417531250","https://openalex.org/W4412888455","https://openalex.org/W7212253874","https://openalex.org/W1574891383","https://openalex.org/W7116347575","https://openalex.org/W2982695815","https://openalex.org/W4382463985"],"abstract_inverted_index":{"Temporal":[0],"Logic":[1],"(TL)":[2],"can":[3],"be":[4],"used":[5],"to":[6,29,56,76,198],"rigorously":[7],"specify":[8],"complex":[9],"high-level":[10],"specification":[11],"for":[12],"systems":[13],"in":[14,139],"many":[15],"engineering":[16],"applications.The":[17],"translation":[18],"between":[19],"natural":[20],"language":[21],"(NL)":[22],"and":[23,34,47,85,114],"TL":[24],"has":[25],"been":[26],"under-explored":[27],"due":[28],"the":[30,59,100,104,112,147,163,172,179,195],"lack":[31],"of":[32,51,61,80,111,124,133,137,149],"dataset":[33,79,90,140],"generalizable":[35,48],"model":[36,165,183],"across":[37],"different":[38],"application":[39],"domains.In":[40],"this":[41],"paper,":[42],"we":[43,72,95,160],"propose":[44],"an":[45],"accurate":[46],"transformation":[49],"framework":[50,75],"English":[52],"instructions":[53],"from":[54,119],"NL":[55,113],"TL,":[57],"exploring":[58],"use":[60],"Large":[62],"Language":[63],"Models":[64],"(LLMs)":[65],"at":[66],"multiple":[67],"stages.Our":[68],"contributions":[69],"are":[70,109],"twofold.First,":[71],"develop":[73],"a":[74,78,89],"create":[77],"NL-TL":[81,93,126,158],"pairs":[82],"combining":[83],"LLMs":[84,138],"human":[86],"annotation.We":[87],"publish":[88],"with":[91,166,194],"28K":[92],"pairs.Then,":[94],"finetune":[96],"T5":[97],"models":[98,151],"on":[99,152,175],"lifted":[101,125,164],"versions":[102],"(i.e.,":[103],"specific":[105,134,177],"Atomic":[106],"Propositions":[107],"(AP)":[108],"hidden)":[110],"TL.The":[115],"enhanced":[116],"generalizability":[117],"originates":[118],"two":[120],"aspects:":[121],"1)":[122],"Usage":[123],"characterizes":[127],"common":[128],"logical":[129],"structures,":[130],"without":[131],"constraints":[132],"domains.2)":[135],"Application":[136],"creation":[141],"largely":[142],"enhances":[143],"corpus":[144],"richness.We":[145],"test":[146],"generalization":[148],"trained":[150],"five":[153],"varied":[154],"domains.To":[155],"achieve":[156],"full":[157],"transformation,":[159],"either":[161],"combine":[162],"AP":[167],"recognition":[168],"task":[169],"or":[170],"do":[171],"further":[173,180],"finetuning":[174],"each":[176],"domain.During":[178],"finetuning,":[181],"our":[182],"achieves":[184],"higher":[185],"accuracy":[186],"(>95%)":[187],"using":[188],"only":[189],"<10%":[190],"training":[191],"data,":[192],"compared":[193],"baseline":[196],"sequence":[197,199],"(Seq2Seq)":[200],"model.12":[201]},"counts_by_year":[{"year":2026,"cited_by_count":27},{"year":2025,"cited_by_count":24},{"year":2024,"cited_by_count":19},{"year":2023,"cited_by_count":1}],"updated_date":"2026-10-29T09:56:32.521200","created_date":"2023-12-11T00:00:00"}