1 citations · 2 across the 8 of their papers we have counts for
1 paper · 2 filters
Yang Cai, Vineet Gupta, Yanchen Jiang +4
We present Cogentic, a multi-agent harness for automated proof discovery on open research problems. While frontier language models can generate strong mathematical ideas in a singl…