TY  - RPRT
TI  - Fast Analysis of the OpenAI O1-Preview Model in Solving Random K-SAT Problem: Does the LLM Solve the Problem Itself or Call an External SAT Solver?
AU  - Raffaele Marino
PY  - 2024
UR  - https://arxiv.org/abs/2409.11232
ID  - 2409.11232
ER  -