AI Research

Explore AI Research through related topics and the articles other pages reference most.

Explore articles

Reset filters
Browse subtopics: AI Agents

Articles that also belong to these categories. Counts cover all of AI Research.

Showing 1-8 of 8 articles

AxiomProver

AxiomProver is an automated theorem-proving system developed by Axiom Math. The company describes it as an autonomous multi-agent system for Lean 4 that translates mathematical tasks into formal statements and…

AI AgentsDeveloper Tools

HuggingGPT

HuggingGPT is an agent system that uses a large language model as a controller to plan tasks and orchestrate specialist machine learning models hosted on Hugging Face.

AI AgentsMultimodal AI

RAGEN-2

RAGEN-2 is a 2026 research paper and public code extension for diagnosing and mitigating reasoning collapse during reinforcement learning of multi-turn large language model agents.

AI AgentsOpen Source AI