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

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

Sources

Related papers