3 citations · 4 across the 3 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…