Symbolische Äquivalenzpartitionierung steigert Genauigkeit bei Code-Generierung
In der Code‑Generierung mit großen Sprachmodellen (LLMs) ist die Auswahl der besten von mehreren generierten Varianten entscheidend. Traditionell werden dafür teure oder stochastische Verifikatoren eingesetzt, um die ko…