Back to papers
September 30, 2026cs.AIcs.GT

Cogentic: Multi-Agent Orchestration for Automated Proof Discovery

Yang Cai, Vineet Gupta, Yanchen Jiang, Christopher Liaw, Aranyak Mehta, Grigoris Velegkas, Di Wang
Read on arXivDownload PDF
Categories

cs.AI, cs.GT

Cogentic: Multi-Agent Orchestration for Automated Proof Discovery - AI Research | One9Founders