Skills Calculus

A research project developing a formal algebraic framework for understanding skill emergence, composition, and evaluation in Large Language Models (LLMs).

Core Knowledge Base

  • Concepts — Core theoretical definitions
  • Papers — Annotated research paper summaries

Research Documents


About

This is an Obsidian knowledge base documenting ongoing research into how skills in LLMs can be understood through mathematical and algebraic structures. The project formalizes the compositional nature of capabilities in language models—how primitive skills combine to form complex abilities, how these abilities emerge with scale, and how they can be systematically evaluated.

Research Focus

Core Questions

  • Skill Composition: How do multiple skills combine to form new, more complex capabilities? We model this through a monoid structure where is the set of skills, is the composition operation, and is the identity (null skill).
  • Emergence: Why do certain abilities appear suddenly at specific model scales? We connect scaling laws to skill competence thresholds and ontological expansion.
  • Evaluation: How can we assess whether models genuinely understand versus merely memorize? We explore metrics that distinguish compositional generalization from pattern matching.
  • Ontology: What is the “natural” taxonomy of skills? We investigate task-relative ontologies and Galois connections between skills and tasks.

Key Concepts

ConceptDescription
Skills AlgebraFormal structure where is the task set and is the fitness function
MereologyPart-whole relations complementing algebraic composition—distinguishing “what a skill is made of” from “what it produces when combined”
Meta-skillsSecond-order capabilities for composing, decomposing, and evaluating skills
Ontological ExpansionHow the skill ontology grows through composition and scale-dependent realization
Scaling LawsPower-law relationships connecting model scale to skill competence

This project builds on and synthesizes work from: