concept
active
concept:abstraction-leakAbstraction Leak
Failure of semantic type class morphism; indicates design flaw where type behavior violates its semantic meaning.
Neighborhood — ranked by edge-count
Frameworks (1)
framework
- Principle that the instance's meaning follows the meaning's instance; every TCM failure indicates an abstraction leak.
Claims (1)
claim
- Another key property.
Related by similarity (8)
cosine ≥ 0.65 · no typed edgeEntities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.
- Key notion where alignment map ϕ maps neurons block-wise to latent variables before constructive abstraction
- Programming technique to restructure a fine-grained Linda program for efficiency by replacing live data structures with passive ones and coarser-grain processes.
- Question prompting the use of Category for linear transformations.
- Consequence of violating the TCM principle.
- A framework the paper uses alongside feature geometry to deepen mechanistic understanding of LMs
- Graded notion of causal abstraction measured by IIA; when IIA is alpha < 100%, the model is alpha-on-average approximately abstract.
- Implementation pathology where complete time-history of signal must be retained; avoided in Fruit by restricting signals to non-first-class values.