The Observation Theory Encyclopedia From TSK About By kind By chapter By Lean file Ledger Provenance

Entries by Lean file

The file in the book's repository that machine-checks the entry's core.

`Abstention.lean`

abstention; refusal; verdict.

`Alignment.lean`

alignment; coupling null.

`AntiArm.lean`

`Attention.lean`

attention; head; query, key, value.

`AttributeType.lean`

attribute type.

`Attribution.lean`

attribution; contraction; importance.

`Auroc.lean`

AUROC; ROC curve.

`BagOfWords.lean`

`BalancedAccuracy.lean`

balanced accuracy.

`Bar.lean`

bar; baseline; control; gate; licensed, not licensed; registered; verdict.

`BiLipschitz.lean`

`Bit.lean`

bit; matched bits; nat.

`BlockErrorRate.lean`

block error rate.

`Bonferroni.lean`

harness; preregistration.

`Boosting.lean`

`Bootstrap.lean`

bagging; bootstrap; paired; seed.

`Cache.lean`

cache; cold, warm; footprint.

`Calibration.lean`

calibration; expected calibration error.

`Certificate.lean`

audit; certificate; coverage; false-clear rate; min-over-strata; stratification; witness.

`ChallengeSet.lean`

`ChanceLevel.lean`

baseline; chance level.

`Classifier.lean`

`Codebook.lean`

`CoherenceTime.lean`

coherence time; floor, ceiling; refresh floor; refresh interval.

`CommuteTime.lean`

`Concentrated.lean`

`Confidence.lean`

`ConfidenceInterval.lean`

confidence interval.

`Confound.lean`

`Contrastive.lean`

contrastive objective; fine-tuning.

`Correlation.lean`

`Cosine.lean`

`Covariance.lean`

covariance matrix.

`CrossCorpusGate.lean`

cross-corpus gate; encoder; fine-tuning; gate.

`CrossSupport.lean`

cross-support ratio.

`CrossValidation.lean`

cross-validation; early stopping; split; stratification.

`Curvature.lean`

curvature; Hessian.

`Dbscan.lean`

DBSCAN; density; detector.

`DecisionBoundary.lean`

decision boundary.

`DecisionTree.lean`

decision tree; importance; random forest.

`Degree.lean`

degree; density.

`DeploymentMismatch.lean`

deployment mismatch.

`DirectionQuantizer.lean`

direction-only quantizer.

`Discretization.lean`

discretization.

`DisparateImpact.lean`

disparate impact ratio.

`DistanceConcentration.lean`

distance concentration.

`DotProduct.lean`

`Drift.lean`

`EffectiveRank.lean`

allocation; effective rank; spectrum.

`Eigen.lean`

eigenvalue, eigenvector.

`Embedding.lean`

`Ensemble.lean`

aggregation; bagging; ensemble; random forest; sampling.

`EqualizedOdds.lean`

equalized odds.

`Escalation.lean`

`EuclideanDistance.lean`

Euclidean distance; metric.

`Eviction.lean`

`ExplainedVariance.lean`

explained variance; latent semantic analysis; truncation.

`FiniteDifference.lean`

finite difference; operating point.

`Flip.lean`

`Freshness.lean`

freshness; lag.

`GeodesicDistance.lean`

geodesic distance.

`Graph.lean`

graph; nearest neighbour; neighbourhood graph.

`Hierarchical.lean`

hierarchical clustering.

`Hub.lean`

hub; hubness; query set.

`Hubness.lean`

anti-hub; anti-hub recall; hubness; query set.

`Imputation.lean`

`IntrinsicDimension.lean`

intrinsic dimension; manifold; Weyl's law.

`InvertedFile.lean`

`Isotropy.lean`

anisotropic; Gaussian; isotropic; matched bits; surrogate.

`ItemSet.lean`

anti-monotonicity; itemset; transaction.

`Jaccard.lean`

`Kendall.lean`

Kendall correlation.

`KL.lean`

`KMeans.lean`

k-means; sum of squared errors.

`KVCache.lean`

`Landauer.lean`

Landauer's principle.

`Laplacian.lean`

Laplacian; spectral clustering; spectral embedding.

`Leakage.lean`

early stopping; leakage; split.

`Ledger.lean`

ledger class; posited versus measured.

`Lift.lean`

`Logistic.lean`

linear classifier; logistic regression.

`Mahalanobis.lean`

detector; Gaussian; Mahalanobis distance; outlier.

`Margin.lean`

`MonotoneInvariance.lean`

F1; formula search; Monotone Invariance Theorem.

`MultipleComparisons.lean`

multiple comparisons.

`Multiplet.lean`

`NadeauBengio.lean`

Nadeau and Bengio correction.

`NaiveBayes.lean`

Hessian; naive Bayes.

`NatUnit.lean`

`NearestNeighbour.lean`

nearest neighbour.

`NullModel.lean`

control; null model.

`Orthogonal.lean`

`Outlier.lean`

detector; outlier.

`OutputMetric.lean`

metric; output metric.

`ParaphraseClass.lean`

paraphrase class.

`PCA.lean`

latent semantic analysis; principal component analysis; truncation.

`Percentile.lean`

`Perplexity.lean`

language model; perplexity; token.

`Pipeline.lean`

chunk; Jacobian; rank; retrieval-augmented pipeline.

`PoissonCeiling.lean`

floor, ceiling; Poisson ceiling.

`PositiveSemidefinite.lean`

outer product; positive semidefinite.

`PrecisionRecall.lean`

precision, recall.

`ProbeCliff.lean`

blind probe; budget; budget cliff; capacity; planted.

`ProductQuantization.lean`

product quantization.

`Projection.lean`

projection; read direction.

`PValue.lean`

`Quantization.lean`

distortion; per-channel quantizer; quantization.

`Rank.lean`

capacity; kernel; outer product; rank.

`RankCertificate.lean`

rank certificate.

`RankFaithful.lean`

`ReadDistortion.lean`

distortion; identity reader; read distortion; reconstruction error; surrogate.

`ReadOperator.lean`

consumer; contraction; Jacobian; kernel; linear classifier; nuisance; observer; outer product; planted; quotient; read direction; read operator; read subspace; sensitivity.

`RecallAtK.lean`

aggregation; anti-hub recall; recall at k.

`Recognizer.lean`

recognizer; template match.

`ReconstructionError.lean`

reconstruction error; sum of squared errors.

`ReliabilityWeight.lean`

reliability weight.

`Replica.lean`

`Rerank.lean`

`Residual.lean`

residualization.

`RobinHood.lean`

Robin Hood index.

`Rope.lean`

rotary position embedding.

`Rouge.lean`

`SafePruning.lean`

anti-monotonicity; Apriori principle; safe pruning; support; transaction.

`Seal.lean`

audit; commit hash; correction; declaration; hash; licensed, not licensed; registered; sealed; session deck; sources table.

`Shard.lean`

`Silhouette.lean`

silhouette; validity index.

`Simpson.lean`

aggregation; Simpson's paradox.

`Skewness.lean`

`Softmax.lean`

language model; softmax.

`Spearman.lean`

Spearman correlation.

`SpectralEmbedding.lean`

spectral clustering; spectral embedding.

`StandardError.lean`

sampling; seed; standard error.

`Standardization.lean`

standardization.

`TeacherForcing.lean`

teacher forcing.

`TFIDF.lean`

latent semantic analysis; TF-IDF.

`Threshold.lean`

operating point; score; sweep; threshold.

`Trace.lean`

`TTI.lean`

refresh interval; transmission time interval.

`Vacuity.lean`

vacuity threshold.

`Variance.lean`

`WaterFilling.lean`

allocation; water-filling.

`Whitening.lean`

`YoudenF1.lean`

floor, ceiling; formula search; ROC curve; safe pruning; Youden F1 bound; Youden index.