Forschung
FormaRL: Autoformalisation ohne gelabelte Daten verbessert
In der formalen Verifikation ist die automatische Formalisierung ein zentrales Ziel, das bislang durch fehlende Daten und ineffiziente Meth…
arXiv – cs.AI