FormaRL: Autoformalisation ohne gelabelte Daten verbessert
In der formalen Verifikation ist die automatische Formalisierung ein zentrales Ziel, das bislang durch fehlende Daten und ineffiziente Methoden gehemmt war. Mit dem neuen Ansatz FormaRL wird dieses Hindernis überwunden…