TY  - RPRT
TI  - NILE: Formalizing Natural-Language Descriptions of Formal Languages
AU  - Tristan Kneisel
AU  - Marko Schmellenkamp
AU  - Fabian Vehlken
AU  - Thomas Zeume
PY  - 2026
UR  - https://arxiv.org/abs/2602.19743
ID  - 2602.19743
ER  -