Specification Oracles

arXiv:2609.13415v1 Ankündigungstyp: neu Zusammenfassung: Spezifikationen sehen sich einem grundlegenden Tradeoff gegenüber: Details auslassen, und wichtige Fragen bleiben unbeantwortet; jeden Detail separat aufzeichnen, und die Spezifikation wird groß und weitschweifig. Wir untersuchen, ob ein Language Model als kompakte, lebende Spezifikation dienen kann…