@misc{indiciae338e6bfce281,
  title = {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?},
  author = {Raffaele Marino},
  year = {2024},
  url = {https://arxiv.org/abs/2409.11232},
  note = {Source identifier: 2409.11232}
}