
Automatisches Beweisverfahren für die Synthese von Programmen in Sättigungsbasiertem Theorembeweis.


coremsg

programmsynthese-in-sättigung-automatisches-beweisverfahren-für-die-synthese-von-programmen


Programmsynthese in Sättigung: Automatisches Beweisverfahren für die Synthese von Programmen



Verbesserte Verständlichkeit von synthetisiertem Code durch erklärende Namen.



Generative Explanations for Program Synthesizers: Improving Understanding of Synthesized Code through Explanatory Names



Große Sprachmodelle können die Enumerative Programmsynthese unterstützen, aber eine Integration mit bestehenden Algorithmen ist entscheidend.



Leitfaden für Enumerative Programmsynthese mit großen Sprachmodellen
