NeuroNL2LTL: Ein neurosymbolisches Framework für Übersetzung natürlicher Sprache zu Linear Temporal Logic

arXiv:2605.22874v1 Ankündigung Typ: neu Abstract: Effektive Übersetzung zwischen natürlicher Sprache (NL) und formalen Logiken wie Linear Temporal Logic (LTL) erfordert Expertise, die die Reichweite der formalen Verifikation in sicherheitskritischer Entwicklung einschränkt. Template-basierte Ansätze opfern Ausdruckskraft für Robustheit