research
∙
09/11/2023
Large Language Model for Science: A Study on P vs. NP
In this work, we use large language models (LLMs) to augment and acceler...
share
research
∙
02/19/2023
SAT Requires Exhaustive Search
In this paper, by constructing extremely hard examples of CSP (with larg...
research
∙
05/09/2021
Super Solutions of the Model RB
The concept of super solution is a special type of generalized solutions...
research
∙
03/11/2021
Hiding solutions in model RB: Forced instances are almost as hard as unforced ones
In this paper we study the forced instance spaces of model RB, where one...
research
∙
11/05/2020
Exact Phase Transitions of Model RB with Slower-Growing Domains
The second moment method has always been an effective tool to lower boun...
research
∙
02/10/2020