An Order-Theoretic Characterization of Consistent Inductive Inference

arXiv:2609.28551 · stat.ML, cs.LG · Submitted 2026-09-23 · Read on arXiv

stat.ML, cs.LG

Submitted: 2026-09-23

Updated: 2026-09-23

Code: https://github.com/leozoroaster/finite-evidence-consistency-lean

Terminology

Sources

Related papers