Abstract: This paper investigates the feasibility of fine-tuning a large language model (LLM), specifically ChatGPT, to tackle the Boolean satisfiability problem (3-SAT), a well-known NP-complete ...
We are seeing the consequences of SAT- and ACT-optional admissions policies at schools such as the University of California ...