Model acts as a compact specification oracle by learning target facts and answering questions; compares external text notes versus weight updates to store learned facts

arXiv:2609.13415v1 Announce Type: new Abstract: Specifications face a basic tradeoff: leave details out, and important questions go unanswered; record every detail separately, and the specification becomes large and...