arXiv cs.AI
Cogentic: Multi-Agent Orchestration for Automated Proof Discovery
의식의: 자동 증명 발견을 위한 다중 에이전트 오케스트레이션
No write-up yet — this entry is still just the auto-fetched hook. Aaron's own summary (200–500 words) will replace this note once he's written it.