Introduces TTS, a dependent type theory replacing global canonical composition with regime-indexed indiscernibility and constructive apartness, proving conservativity, provenance, no-fork-from-empty, and persistence of forks under refinement.
Less is more: Local intrinsic dimensions of contextual language models
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
The paper establishes a correspondence between Signal Temporal Logic and stratification theory, allowing STL formulas to be viewed as stratifications of space-time and applied to analyze DRL embedding spaces via robustness rewards.
citing papers explorer
-
A Type Theory of Sense: Witnessed Choice in Stratified Semantic Spaces
Introduces TTS, a dependent type theory replacing global canonical composition with regime-indexed indiscernibility and constructive apartness, proving conservativity, provenance, no-fork-from-empty, and persistence of forks under refinement.