Identifiability Without Gaussianity: Symbolic World Models and Near-Infinite Temporal Consistency

2026-06-12T07:23:59Z370563db559411ea1a2e418089fe2a3e84f9f7ed40e0759fc334611010ffac66
Lean4Mathlib4PGSARiesz-regressionWeibullanomaly-detectionballoon-meancausal-inferencedebiased-mldifferential-privacyepistemic-uncertaintyexplainabilityformal-verificationidentifiabilitymachine-learningmodel-diagnostics','github-releaserobust-statisticssemi-supervised-learningstatisticssymbolic-modelstemporal-consistencytime-seriestransformer-diagnosticsuncertainty-quantificationzero-concentrated-dp

What happened

Collection of new ML/statistics arXiv submissions (June 12, 2026) covering theoretical and applied advances: a Physics-Grounded Symbolic Architecture (PGSA) proving identifiability and near-infinite temporal consistency (with Lean4/Mathlib4 formalization); a critique and reclassification of epistemic uncertainty into aleatoric, sample-reducible and mechanism-reducible types; semi-supervised prediction-powered causal inference (DML-PPCI) with Riesz regression; robust feature-weighted jump models for temporal clustering; ProtoX-AD, a prototype-based self-explainable time-series anomaly detector;

Why it matters

A reviewed impact interpretation has not been published for this record.

Evidence and limitations

Source ID
arxiv_stat_ml
Record identifier
370563db559411ea1a2e418089fe2a3e84f9f7ed40e0759fc334611010ffac66
Enrichment time
2026-06-12T07:23:59Z
AI-assisted enrichment
Yes

This record may overlap with other records. Its enrichment can be incomplete or wrong, and machine assistance was used. Validate consequential decisions against the linked source and your own environment.