General Machine Learning: Theory for Learning Under Variable Regimes
- URL: http://arxiv.org/abs/2603.23220v1
- Date: Tue, 24 Mar 2026 13:58:31 GMT
- Title: General Machine Learning: Theory for Learning Under Variable Regimes
- Abstract summary: We study learning under regime variation, where the learner, its memory state, and the evaluative conditions may evolve over time.<n>The paper develops a regime-varying framework centered on admissible transport, protected-core preservation, and evaluator-aware learning evolution.
- Score: 2.538209532048866
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We study learning under regime variation, where the learner, its memory state, and the evaluative conditions may evolve over time. This paper is a foundational and structural contribution: its goal is to define the core learning-theoretic objects required for such settings and to establish their first theorem-supporting consequences. The paper develops a regime-varying framework centered on admissible transport, protected-core preservation, and evaluator-aware learning evolution. It records the immediate closure consequences of admissibility, develops a structural obstruction argument for faithful fixed-ontology reduction in genuinely multi-regime settings, and introduces a protected-stability template together with explicit numerical and symbolic witnesses on controlled subclasses, including convex and deductive settings. It also establishes theorem-layer results on evaluator factorization, morphisms, composition, and partial kernel-level alignment across semantically commensurable layers. A worked two-regime example makes the admissibility certificate, protected evaluative core, and regime-variation cost explicit on a controlled subclass. The symbolic component is deliberately restricted in scope: the paper establishes a first kernel-level compatibility result together with a controlled monotonic deductive witness. The manuscript should therefore be read as introducing a structured learning-theoretic framework for regime-varying learning together with its first theorem-supporting layer, not as a complete quantitative theory of all learning systems.
Related papers
- Orthogonal JEPA: Factorized Predictive States for Latent World Models [95.20158869896393]
We introduce method, a latent world-modeling framework based on predictive factorization.<n>We show that method can allocate redundant capacity to dominant signals while providing weak or conflicting gradients to less dominant predictive structure.<n>Experiments on controlled vision, single-cell transcriptomics, longitudinal health records, continuous control, and molecular dynamics evaluate representation quality, forecasting, planning, and long-horizon stability.
arXiv Detail & Related papers (2026-08-20T13:59:57Z) - Structuring Semantic Embeddings for Principle Evaluation: A Prototype-Guided Contrastive Learning Approach [58.15427952222424]
General-purpose text embeddings are widely deployed for such tasks, but broad semantic similarity can place semantically similar yet task-distinct examples.<n>We introduce Prototype-Guided Contrastive Learning (PGCL), a prototype-guided geometric regularization module built on top of frozen text embeddings.
arXiv Detail & Related papers (2026-08-15T13:19:25Z) - iFuzz-Meta: An Interpretable Fuzzy Learning Framework Bridging Top-Down and Bottom-Up Knowledge Integration [25.176188581821112]
iFuzz-Meta is an interpretable fuzzy rule-based learning framework.<n>It preserves human-understandable reasoning structures within modern neural architectures.
arXiv Detail & Related papers (2026-07-30T02:44:54Z) - Compositional Behavioral Semantics for State Abstraction in Reinforcement Learning [10.043594646353691]
We present a unified framework for defining and analyzing behavioral structures in reinforcement learning.<n>Our framework provides a compositional way to specify behavioral semantics based on local, one-step descriptions of system dynamics.<n>We show how to construct quantitative metrics from logical behavioral semantics with soundness guarantees.
arXiv Detail & Related papers (2026-06-24T03:43:47Z) - ScholarSum: Student-Teacher Abstractive Summarization via Knowledge Graph Reasoning and Reflective Refinement [9.620629066606197]
We propose a hierarchical reflective graph-based framework that emulates a student-teacher writing process for fluent and faithful scientific summarization.<n>ScholarSum first organizes the document into a hierarchical knowledge graph by segmenting it into semantically coherent units.<n>To ensure factual consistency, a teacher-like reviewer then iteratively examines the draft, identifies unsupported content, and prompts targeted re-retrieval and rewriting.
arXiv Detail & Related papers (2026-06-17T09:31:07Z) - Online Continual Learning with Dynamic Label Hierarchies [72.33335166136045]
We introduce a new problem setting, DHOCL, where severity evolve across granularities and each sample provides supervision at a single hierarchical level.<n>In this setting, we find two fundamental issues: (i) partial supervision under mixed granularities provides only point-wise signals over an evolving path-wise hierarchy, which constrains plasticity and undermines cross-level semantic consistency.<n>We propose HALO, which adaptively combines complementary classification heads, regularized by organized learnable hierarchical prototypes, enabling rapid adaptation, hierarchical consistency, and structured knowledge consolidation as the taxonomy evolves.
arXiv Detail & Related papers (2026-05-12T08:20:23Z) - The Rules-and-Facts Model for Simultaneous Generalization and Memorization in Neural Networks [11.93069441086844]
A key capability of modern neural networks is their capacity to simultaneously learn underlying rules and memorize specific facts or exceptions.<n>We introduce the Rules-and-Facts (RAF) model, a minimal solvable setting that enables precise characterization of this phenomenon.
arXiv Detail & Related papers (2026-03-26T15:56:23Z) - A Formal Descriptive Language for Learning Dynamics: A Five-Layer Structural Coordinate System [0.0]
This paper proposes a multi-layer formal descriptive framework for learning dynamics.<n>Rather than offering a predictive or prescriptive model, the framework introduces a symbolic language composed of state variables, mappings, and layer-specific responsibilities.
arXiv Detail & Related papers (2025-12-20T22:46:13Z) - Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria [1.2064681974642195]
We model reasoning systems as structureds comprising phenomena, explanation space, inference and generation maps, and a principle base.<n>We survey basic internal criteria--including coherence, soundness, and completeness--and catalog typical failure modes such as contradiction, incompleteness, and non-convergence.<n>The goal of this work is to establish a foundational structure for representing and comparing reasoning systems, particularly in contexts where internal failure, adaptation, or fragmentation may arise.
arXiv Detail & Related papers (2025-08-03T14:04:15Z) - Towards a unified framework for programming paradigms: A systematic review of classification formalisms and methodological foundations [0.0]
This systematic literature review maps the formal foundations of programming paradigms.<n>We find that existing lack conceptual granularity, a unified formal basis, and struggle with hybrid languages.<n>We conclude that the literature reflects a significant intellectual shift away from classification towards promising formal, reconstructive frameworks.
arXiv Detail & Related papers (2025-08-01T11:19:40Z) - DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning [67.93945726549289]
DeepTheorem is a comprehensive informal theorem-proving framework exploiting natural language to enhance mathematical reasoning.<n>DeepTheorem includes a large-scale benchmark dataset consisting of 121K high-quality IMO-level informal theorems and proofs.<n>We devise a novel reinforcement learning strategy (RL-Zero) explicitly tailored to informal theorem proving, leveraging the verified theorem variants to incentivize robust mathematical inference.
arXiv Detail & Related papers (2025-05-29T17:59:39Z) - Coarse Set Theory for AI Ethics and Decision-Making: A Mathematical Framework for Granular Evaluations [0.0]
Coarse Ethics (CE) is a theoretical framework that justifies coarse-grained evaluations, such as letter grades or warning labels, as ethically appropriate under cognitive and contextual constraints.<n>This paper introduces Coarse Set Theory (CST), a novel mathematical framework that models coarse-grained decision-making using totally ordered structures and coarse partitions.<n>CST defines hierarchical relations among sets and uses information-theoretic tools, such as Kullback-Leibler Divergence, to quantify the trade-off between simplification and information loss.
arXiv Detail & Related papers (2025-02-11T08:18:37Z) - Sequential Representation Learning via Static-Dynamic Conditional Disentanglement [58.19137637859017]
This paper explores self-supervised disentangled representation learning within sequential data, focusing on separating time-independent and time-varying factors in videos.
We propose a new model that breaks the usual independence assumption between those factors by explicitly accounting for the causal relationship between the static/dynamic variables.
Experiments show that the proposed approach outperforms previous complex state-of-the-art techniques in scenarios where the dynamics of a scene are influenced by its content.
arXiv Detail & Related papers (2024-08-10T17:04:39Z) - Distributional Associations vs In-Context Reasoning: A Study of Feed-forward and Attention Layers [49.80959223722325]
We study the distinction between feed-forward and attention layers in large language models.<n>We find that feed-forward layers tend to learn simple distributional associations such as bigrams, while attention layers focus on in-context reasoning.
arXiv Detail & Related papers (2024-06-05T08:51:08Z) - Towards Understanding the Mechanism of Contrastive Learning via
Similarity Structure: A Theoretical Analysis [10.29814984060018]
We consider a kernel-based contrastive learning framework termed Kernel Contrastive Learning (KCL)
We introduce a formulation of the similarity structure of learned representations by utilizing a statistical dependency viewpoint.
We show a new upper bound of the classification error of a downstream task, which explains that our theory is consistent with the empirical success of contrastive learning.
arXiv Detail & Related papers (2023-04-01T21:53:29Z) - Provable Hierarchy-Based Meta-Reinforcement Learning [50.17896588738377]
We analyze HRL in the meta-RL setting, where learner learns latent hierarchical structure during meta-training for use in a downstream task.
We provide "diversity conditions" which, together with a tractable optimism-based algorithm, guarantee sample-efficient recovery of this natural hierarchy.
Our bounds incorporate common notions in HRL literature such as temporal and state/action abstractions, suggesting that our setting and analysis capture important features of HRL in practice.
arXiv Detail & Related papers (2021-10-18T17:56:02Z) - A Unified Taylor Framework for Revisiting Attribution Methods [49.03783992773811]
We propose a Taylor attribution framework and reformulate seven mainstream attribution methods into the framework.
We establish three principles for a good attribution in the Taylor attribution framework.
arXiv Detail & Related papers (2020-08-21T22:07:06Z) - Structured Prediction with Partial Labelling through the Infimum Loss [85.4940853372503]
The goal of weak supervision is to enable models to learn using only forms of labelling which are cheaper to collect.
This is a type of incomplete annotation where, for each datapoint, supervision is cast as a set of labels containing the real one.
This paper provides a unified framework based on structured prediction and on the concept of infimum loss to deal with partial labelling.
arXiv Detail & Related papers (2020-03-02T13:59:41Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.