Cadmus: Kostengünstiges System für kontrollierte Programmsynthese
Mit dem neuen System Cadmus können Forscher jetzt Programmsynthese in einem erschwinglichen Rahmen untersuchen. Das System kombiniert eine Integer‑Virtual‑Machine, ein speziell kuratiertes Datenset aus echten Programmen und einen autoregressiven Transformer, der mit weniger als 200 US-Dollar an Rechenkosten trainiert wurde.