{"id":"https://openalex.org/W7147903421","doi":"https://doi.org/10.48550/arxiv.2603.28426","title":"Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic","display_name":"Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic","publication_year":2026,"publication_date":"2026-03-30","ids":{"openalex":"https://openalex.org/W7147903421","doi":"https://doi.org/10.48550/arxiv.2603.28426"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.28426","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.28426","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":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.28426","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5132693394","display_name":"Kosei Fushimi","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Fushimi, Kosei","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132605605","display_name":"Kazunobu Serizawa","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Serizawa, Kazunobu","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070836427","display_name":"Junya Ikemoto","orcid":"https://orcid.org/0000-0002-0145-3381"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ikemoto, Junya","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5025704398","display_name":"Kazumune Hashimoto","orcid":"https://orcid.org/0000-0002-9376-5760"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hashimoto, Kazumune","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5132693394"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"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/T10142","display_name":"Formal Methods in Verification","score":0.5541999936103821,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.5541999936103821,"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"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.10859999805688858,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.0674000009894371,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/ambiguity","display_name":"Ambiguity","score":0.5856999754905701},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.5591999888420105},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.5465999841690063},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5386000275611877},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.5213000178337097},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5149999856948853},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.4788999855518341},{"id":"https://openalex.org/keywords/forcing","display_name":"Forcing (mathematics)","score":0.4339999854564667},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.40939998626708984}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8087999820709229},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.6191999912261963},{"id":"https://openalex.org/C2780522230","wikidata":"https://www.wikidata.org/wiki/Q1140419","display_name":"Ambiguity","level":2,"score":0.5856999754905701},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.5591999888420105},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5580000281333923},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.5465999841690063},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5386000275611877},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.5213000178337097},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5149999856948853},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.4788999855518341},{"id":"https://openalex.org/C197115733","wikidata":"https://www.wikidata.org/wiki/Q1003136","display_name":"Forcing (mathematics)","level":2,"score":0.4339999854564667},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.40939998626708984},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.40299999713897705},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3797000050544739},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.3725999891757965},{"id":"https://openalex.org/C2779439875","wikidata":"https://www.wikidata.org/wiki/Q1078276","display_name":"Natural language understanding","level":3,"score":0.3662000000476837},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.36410000920295715},{"id":"https://openalex.org/C193125573","wikidata":"https://www.wikidata.org/wiki/Q7449065","display_name":"Semantic interpretation","level":2,"score":0.35989999771118164},{"id":"https://openalex.org/C199837984","wikidata":"https://www.wikidata.org/wiki/Q730974","display_name":"Combinatory categorial grammar","level":5,"score":0.35850000381469727},{"id":"https://openalex.org/C2776502983","wikidata":"https://www.wikidata.org/wiki/Q690182","display_name":"Contrast (vision)","level":2,"score":0.33009999990463257},{"id":"https://openalex.org/C26022165","wikidata":"https://www.wikidata.org/wiki/Q8091","display_name":"Grammar","level":2,"score":0.32829999923706055},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3264000117778778},{"id":"https://openalex.org/C59656382","wikidata":"https://www.wikidata.org/wiki/Q191536","display_name":"Conjunction (astronomy)","level":2,"score":0.31349998712539673},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.3100000023841858},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.29109999537467957},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.2500999867916107}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.28426","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.28426","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.48550/arxiv.2603.28426","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.28426","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":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.6792799830436707}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Signal":[0],"Temporal":[1],"Logic":[2],"(STL)":[3],"is":[4,21,64,142],"widely":[5],"used":[6],"to":[7,65,133,144,175],"specify":[8],"timed":[9],"and":[10,102,147],"safety-critical":[11],"tasks":[12],"for":[13,23,52,164],"cyber-physical":[14],"systems,":[15],"but":[16],"writing":[17],"STL":[18,42,58,115,162,178],"formulas":[19],"directly":[20],"difficult":[22],"non-expert":[24],"users.":[25],"Natural":[26],"language":[27],"(NL)":[28],"provides":[29],"a":[30,74,86,111,176],"convenient":[31],"interface,":[32],"yet":[33],"its":[34],"inherent":[35],"structural":[36],"ambiguity":[37],"makes":[38],"one-to-one":[39],"translation":[40,137],"into":[41,57],"unreliable.":[43],"In":[44,131],"this":[45,82],"paper,":[46],"we":[47,84],"propose":[48],"an":[49,128],"\\textit{ambiguity-preserving}":[50],"method":[51,109,159],"translating":[53],"NL":[54],"task":[55,154],"descriptions":[56,155],"candidate":[59],"formulas.":[60],"The":[61,107],"key":[62],"idea":[63],"retain":[66],"multiple":[67,123,161],"plausible":[68],"syntactic":[69],"analyses":[70],"instead":[71],"of":[72,114,127],"forcing":[73],"single":[75,177],"interpretation":[76],"at":[77],"the":[78,139,158],"parsing":[79],"stage.":[80],"To":[81],"end,":[83],"develop":[85],"three-stage":[87],"pipeline":[88],"based":[89],"on":[90,152],"Combinatory":[91],"Categorial":[92],"Grammar":[93],"(CCG):":[94],"ambiguity-preserving":[95],"$n$-best":[96],"parsing,":[97],"STL-oriented":[98],"template-based":[99],"semantic":[100],"composition,":[101],"canonicalization":[103],"with":[104,117],"score":[105],"aggregation.":[106],"proposed":[108,140],"outputs":[110],"deduplicated":[112],"set":[113],"candidates":[116,163],"plausibility":[118],"scores,":[119],"thereby":[120],"explicitly":[121],"representing":[122],"possible":[124],"formal":[125],"interpretations":[126],"ambiguous":[129,166],"instruction.":[130],"contrast":[132],"existing":[134],"one-best":[135],"NL-to-logic":[136],"methods,":[138],"approach":[141],"designed":[143],"preserve":[145],"attachment":[146],"scope":[148],"ambiguity.":[149],"Case":[150],"studies":[151],"representative":[153],"demonstrate":[156],"that":[157],"generates":[160],"genuinely":[165],"inputs":[167],"while":[168],"collapsing":[169],"unambiguous":[170],"or":[171],"canonically":[172],"equivalent":[173],"derivations":[174],"formula.":[179]},"counts_by_year":[],"updated_date":"2026-04-02T13:53:19.096889","created_date":"2026-04-02T00:00:00"}