7 articles tagged with #category-theory. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.
Researchers introduced LeanCat, a benchmark comprising 100 category-theory tasks in Lean to test AI's formal theorem proving capabilities. State-of-the-art models achieved only 12% success rates, revealing significant limitations in abstract mathematical reasoning, while a new retrieval-augmented approach doubled performance to 24%.
Researchers introduce two novel causal discovery algorithms, BRIDGE and Spectral Kan-Do Flow Matching, that leverage category-theoretic principles and differential geometry to identify causal relationships in systems with latent confounders. The methods reduce the search space for valid causal models by many orders of magnitude while inferring hidden structure directly from intervention-induced geometric flows.
Researchers present a category-theoretic framework for agentic AI systems that can revise their own representational structures during scientific discovery, rather than merely generating answers within fixed assumptions. The work demonstrates how self-revising discovery systems can be engineered for materials science through two instantiated systems: Builder/Breaker and CategoryScienceClaw.
Researchers introduce the Cognitive Categorical Transformer (CCT), a 306M-parameter language model that applies category-theoretic principles to improve upon GPT-2 Small, achieving 12% relative perplexity reduction on WikiText-103. The work provides empirical validation that simplicial message passing enhances language modeling performance and identifies a distinction between topology-adding versus consistency-enforcing categorical priors.
Researchers demonstrate that Transformers develop analogical reasoning—the ability to transfer relational patterns across different domains—through two key mechanisms: geometric alignment of structures in embedding space and functor application. This mechanistic understanding bridges cognitive science and neural network architecture, with findings validated across both synthetic tasks and pretrained large language models.
Researchers propose a theoretical framework based on category theory to formalize meta-prompting in large language models. The study demonstrates that meta-prompting (using prompts to generate other prompts) is more effective than basic prompting for generating desirable outputs from LLMs.
Researchers propose using category theory to formalize knowledge domains and construct analogies between different fields. The paper demonstrates this approach using the classic analogy between the solar system and hydrogen atom, showing how mathematical structures like functors and pullbacks can define analogical relationships.
