% Source revision: fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb

@misc{OAI:A-Limiting-Satisfiability-Threshold-for-Every-Fixed-Clause-Size-September-25-2026,
  author = {{OpenAI}},
  title = {{A Limiting Satisfiability Threshold for Every Fixed Clause Size}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/A-Limiting-Satisfiability-Threshold-for-Every-Fixed-Clause-Size-September-25-2026/article.pdf}{OAI:A-Limiting-Satisfiability-Threshold-for-Every-Fixed-Clause-Size-September-25-2026}},
  year = {2026}
}

@misc{OAI:Linear-Variance-of-the-Random-3-SAT-Hitting-Time-October-5-2026,
  author = {{OpenAI}},
  title = {{Linear Variance of the Random 3-SAT Hitting Time}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Linear-Variance-of-the-Random-3-SAT-Hitting-Time-October-5-2026/linear-variance-of-the-random-3-sat-hitting-time.pdf}{OAI:Linear-Variance-of-the-Random-3-SAT-Hitting-Time-October-5-2026}},
  year = {2026}
}

@misc{OAI:Variance-of-the-Random-k-SAT-Hitting-Time-September-27-2026,
  author = {{OpenAI}},
  title = {{Variance of the Random $k$-SAT Hitting Time}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Variance-of-the-Random-k-SAT-Hitting-Time-September-27-2026/article.pdf}{OAI:Variance-of-the-Random-k-SAT-Hitting-Time-September-27-2026}},
  year = {2026}
}

@misc{OAI:Computing-the-Random-3-SAT-Threshold-September-27-2026,
  author = {{OpenAI}},
  title = {{Computing the Random 3-SAT Threshold}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Computing-the-Random-3-SAT-Threshold-September-27-2026/article.pdf}{OAI:Computing-the-Random-3-SAT-Threshold-September-27-2026}},
  year = {2026}
}