TY  - RPRT
TI  - Cogentic: Multi-Agent Orchestration for Automated Proof Discovery
AU  - Yang Cai
AU  - Vineet Gupta
AU  - Yanchen Jiang
AU  - Christopher Liaw
AU  - Aranyak Mehta
AU  - Grigoris Velegkas
AU  - Di Wang
PY  - 2026
UR  - https://arxiv.org/abs/2609.40324
ID  - 2609.40324
ER  -