23 citations · 26 across the 11 of their papers we have counts for
1 paper · 1 filter
Qingxiu Dong, Li Dong, Ke Xu +4
In this work, we use large language models (LLMs) to augment and accelerate research on the P versus NP problem, one of the most important open problems in theoretical computer sci…