simpleprog

Cogentic: Multi-Agent Orchestration for Automated Proof Discovery

Oct 01, 2026 · simpleprog

Authors Yang Cai, Vineet Gupta, Yanchen Jiang, Christopher Liaw, Aranyak Mehta, Grigoris Velegkas, Di Wang