{"id":"https://openalex.org/W7131390019","doi":"https://doi.org/10.48550/arxiv.2602.19743","title":"NILE: Formalizing Natural-Language Descriptions of Formal Languages","display_name":"NILE: Formalizing Natural-Language Descriptions of Formal Languages","publication_year":2026,"publication_date":"2026-02-23","ids":{"openalex":"https://openalex.org/W7131390019","doi":"https://doi.org/10.48550/arxiv.2602.19743"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2602.19743","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.19743","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.2602.19743","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5107434536","display_name":"Tristan Kneisel","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kneisel, Tristan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5126785771","display_name":"Marko Schmellenkamp","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Schmellenkamp, Marko","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079933328","display_name":"Fabian Vehlken","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Vehlken, Fabian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5126782287","display_name":"Thomas Zeume","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zeume, Thomas","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":[],"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/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.10199999809265137,"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/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.10199999809265137,"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.10000000149011612,"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/T11714","display_name":"Multimodal Machine Learning Applications","score":0.09529999643564224,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/formal-language","display_name":"Formal language","score":0.701200008392334},{"id":"https://openalex.org/keywords/formal-grammar","display_name":"Formal grammar","score":0.5835999846458435},{"id":"https://openalex.org/keywords/formal-system","display_name":"Formal system","score":0.5631999969482422},{"id":"https://openalex.org/keywords/object-language","display_name":"Object language","score":0.42829999327659607},{"id":"https://openalex.org/keywords/regular-grammar","display_name":"Regular grammar","score":0.41850000619888306},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.4004000127315521},{"id":"https://openalex.org/keywords/grammar-systems-theory","display_name":"Grammar systems theory","score":0.3928999900817871},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.38940000534057617},{"id":"https://openalex.org/keywords/recursion","display_name":"Recursion (computer science)","score":0.38659998774528503}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7789000272750854},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.701200008392334},{"id":"https://openalex.org/C171553443","wikidata":"https://www.wikidata.org/wiki/Q373045","display_name":"Formal grammar","level":3,"score":0.5835999846458435},{"id":"https://openalex.org/C102315432","wikidata":"https://www.wikidata.org/wiki/Q649732","display_name":"Formal system","level":2,"score":0.5631999969482422},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.45559999346733093},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45089998841285706},{"id":"https://openalex.org/C185954173","wikidata":"https://www.wikidata.org/wiki/Q4347052","display_name":"Object language","level":3,"score":0.42829999327659607},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4235999882221222},{"id":"https://openalex.org/C80191660","wikidata":"https://www.wikidata.org/wiki/Q645527","display_name":"Regular grammar","level":4,"score":0.41850000619888306},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.4004000127315521},{"id":"https://openalex.org/C500879282","wikidata":"https://www.wikidata.org/wiki/Q5593671","display_name":"Grammar systems theory","level":4,"score":0.3928999900817871},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.38940000534057617},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.38659998774528503},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3752000033855438},{"id":"https://openalex.org/C61673122","wikidata":"https://www.wikidata.org/wiki/Q7095059","display_name":"Ontology language","level":3,"score":0.34290000796318054},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.34290000796318054},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.33629998564720154},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.3327000141143799},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.3244999945163727},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.319599986076355},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.3095000088214874},{"id":"https://openalex.org/C199163288","wikidata":"https://www.wikidata.org/wiki/Q3065587","display_name":"Abstract family of languages","level":5,"score":0.3075999915599823},{"id":"https://openalex.org/C26022165","wikidata":"https://www.wikidata.org/wiki/Q8091","display_name":"Grammar","level":2,"score":0.2793999910354614},{"id":"https://openalex.org/C92273848","wikidata":"https://www.wikidata.org/wiki/Q190913","display_name":"Chomsky hierarchy","level":3,"score":0.26600000262260437},{"id":"https://openalex.org/C24570573","wikidata":"https://www.wikidata.org/wiki/Q7191197","display_name":"Picture language","level":5,"score":0.26330000162124634},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.2596000134944916}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2602.19743","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.19743","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.2602.19743","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.19743","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","score":0.8600332736968994,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0,23],"paper":[1],"explores":[2],"how":[3,17],"natural-language":[4,66,109,148,174,193,201],"descriptions":[5,79,110,149,159,175,202],"of":[6,108,111,123,132],"formal":[7,14,33,71,93,112,124],"languages":[8,129,134],"can":[9,20,103,172,203],"be":[10,21,205],"compared":[11],"to":[12,61,74,118,147,152,187],"their":[13],"representations":[15],"and":[16,55,73,130,221],"semantic":[18],"differences":[19],"explained.":[22],"is":[24,97,115],"motivated":[25],"from":[26],"educational":[27,57,138,165],"scenarios":[28],"where":[29],"learners":[30],"describe":[31],"a":[32,38,89,120],"language":[34,91],"(presented,":[35],"e.g.,":[36],"by":[37],"finite":[39],"state":[40],"automaton,":[41,45],"regular":[42,128,208],"expression,":[43],"pushdown":[44],"context-free":[46,133,212],"grammar":[47],"or":[48],"in":[49,52,137,157],"set":[50],"notation)":[51],"natural":[53],"language,":[54,72],"an":[56,164],"support":[58],"system":[59],"has":[60],"(1)":[62],"judge":[63],"whether":[64],"the":[65,70,105,158,214],"description":[67],"accurately":[68],"describes":[69],"(2)":[75],"provide":[76,153,189],"explanations":[77,154,190],"why":[78],"are":[80,144,216],"not":[81,211,218,223],"accurate.":[82],"To":[83],"address":[84],"this":[85],"question,":[86],"we":[87,168],"introduce":[88],"representation":[90],"for":[92,155,191,225],"languages,":[94,125],"Nile,":[95],"which":[96],"designed":[98],"so":[99],"that":[100,143,170,199],"Nile":[101,114,141,180],"expressions":[102,142,181,209,215],"mirror":[104],"syntactic":[106],"structure":[107],"languages.":[113],"sufficiently":[116],"expressive":[117],"cover":[119],"broad":[121],"variety":[122],"including":[126],"all":[127],"fragments":[131],"typically":[135],"used":[136],"contexts.":[139],"Generating":[140],"syntactically":[145,178,219],"close":[146,179,220],"then":[150],"allows":[151],"inaccuracies":[156],"algorithmically.":[160],"In":[161],"experiments":[162,196],"on":[163],"data":[166],"set,":[167],"show":[169,198],"LLMs":[171],"translate":[173],"into":[176,207],"equivalent,":[177],"with":[182],"high":[183],"accuracy":[184],"-":[185],"allowing":[186],"algorithmically":[188],"incorrect":[192],"descriptions.":[194],"Our":[195],"also":[197,204],"while":[200],"translated":[206],"(but":[210],"grammars),":[213],"often":[217],"thus":[222],"suitable":[224],"providing":[226],"explanations.":[227]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-02-26T00:00:00"}