Algebraic Machine Learning: Learning as computing an algebraic decomposition of a task
원문 초록
Statistics and Optimization are foundational to modern Machine Learning. Here, we propose an alternative foundation based on Abstract Algebra, with mathematics that facilitates the analysis of learning. In this approach, the goal of the task and the data are encoded as axioms of an algebra, and a model is obtained where only these axioms and their logical consequences hold. Although this is not a generalizing model, we show that selecting specific subsets of its breakdown into algebraic atoms obtained via subdirect decomposition gives a model that generalizes. We validate this new learning principle on standard datasets such as MNIST, FashionMNIST, CIFAR-10, and medical images, achieving performance comparable to optimized multilayer perceptrons. Beyond data-driven tasks, the new learning principle extends to formal problems, such as finding Hamiltonian cycles from their specifications and without relying on search. This algebraic foundation offers a fresh perspective on machine intelligence, featuring direct learning from training data without the need for validation dataset, scaling through model additivity, and asymptotic convergence to the underlying rule in the data.
함께 살펴볼 논문
공통 태그를 근거로 연결했습니다. 실제 인용 관계나 논문의 우수성을 뜻하지 않습니다.
Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4
Data valuation: The partial ordinal Shapley value for machine learning
ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
Machine Learning meets Algebraic Combinatorics: A Suite of Datasets Capturing Research-level Conjecturing Ability in Pure Mathematics
Effectiveness of Zero-shot-CoT in Japanese Prompts
LeanAgent: Lifelong Learning for Formal Theorem Proving
토론
이 논문과 연결된 포럼 글이 아직 없습니다.