3 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 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.
