Identifiability Without Gaussianity: Symbolic World Models and Near-Infinite Temporal Consistency
2026-06-12T07:23:59Z•370563db559411ea1a2e418089fe2a3e84f9f7ed40e0759fc334611010ffac66
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.