Tag
This paper investigates using language models as compact specification oracles by comparing external notes and weight adaptations for storing facts, finding that adapted weights better exploit structure but at higher storage cost.