arXiv: cs.AI preprintsInternational6 November 2026
Typed Knowledge over Constructive Institutions
This is an official announcement record
Firsthand records what arXiv: cs.AI preprints announced and links to the original. The wording below is theirs, not ours.
arXiv:2611.07432v1 Announce Type: cross Abstract: Type theories designed for mathematics or program verification need only that a proposition holds; proof irrelevance in conversion erases, at the kernel level, how a claim was established. A persistent knowledge store, by contrast, must retain that record: who established a claim, by which derivation or external tool, and under which assumptions. This volume presents the theory of Eigenius---a store of typed knowledge over constructive institutions---and develops its metatheory from that requirement. The kernel theory is a dependent type theory
Read the official announcement
Opens arxiv.org
More from arXiv: cs.AI preprints
- Formalizing inverse problems in the age of AI: possibilities, pitfalls, and an invitation6 November 2026
- KDASO: Knowledge-Data Dual-Driven Automated Skill Optimization for Liability Adjudication Tasks6 November 2026
- BlockLock: Reproducible LLM Inference with Fixed Batch Geometry6 November 2026
- Resource-Efficient Reinforcement Learning Post-Training through Elastic Expert Parallelism6 November 2026
- The Two-Ledger Model: Transaction-Grain Cost Accounting for Multi-Agent AI Systems Across Clouds, Models, and Systems of Record6 November 2026
This content is for informational purposes only and is not professional advice. Specifications, prices, plan tiers, and features change frequently and may differ from what is shown here; verify current details on the manufacturer's or company's official page before purchasing. Ratings are based on analysis of published documentation, not independent lab testing.