method
active
method:formal-modelFormal Model
Neighborhood — ranked by edge-count
Papers (1)
paper
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.
- A representation that captures relevant aspects of a system; according to the theorem, the regulator must embody this.
- Primary test domain for manifold steering, including reasoning and ICL tasks
- Primary substrate for manifold steering experiments; demonstrates method on reasoning and in-context tasks.
- Probability of data under the model, penalizing complexity and rewarding accuracy.
- Basic data type in FCA consisting of a triple (G, M, I) representing objects, attributes, and incidence relations.
- A pair (A, B) where A is an extent of objects and B is an intent of attributes, satisfying closure conditions.