{
  "family_id": "235",
  "title": "Limiting random SAT thresholds, sharp variance and computability",
  "discipline": "Probability and statistical mechanics",
  "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "papers": [
    {
      "title": "A Limiting Satisfiability Threshold for Every Fixed Clause Size",
      "path": "preprints/A-Limiting-Satisfiability-Threshold-for-Every-Fixed-Clause-Size-September-25-2026/article.pdf",
      "url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/A-Limiting-Satisfiability-Threshold-for-Every-Fixed-Clause-Size-September-25-2026/article.pdf",
      "readme_path": "preprints/A-Limiting-Satisfiability-Threshold-for-Every-Fixed-Clause-Size-September-25-2026/README.md",
      "tex_paths": [],
      "pdf_exists": true
    },
    {
      "title": "Linear Variance of the Random 3-SAT Hitting Time",
      "path": "preprints/Linear-Variance-of-the-Random-3-SAT-Hitting-Time-October-5-2026/linear-variance-of-the-random-3-sat-hitting-time.pdf",
      "url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Linear-Variance-of-the-Random-3-SAT-Hitting-Time-October-5-2026/linear-variance-of-the-random-3-sat-hitting-time.pdf",
      "readme_path": "preprints/Linear-Variance-of-the-Random-3-SAT-Hitting-Time-October-5-2026/README.md",
      "tex_paths": [],
      "pdf_exists": true
    },
    {
      "title": "Variance of the Random k-SAT Hitting Time",
      "path": "preprints/Variance-of-the-Random-k-SAT-Hitting-Time-September-27-2026/article.pdf",
      "url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Variance-of-the-Random-k-SAT-Hitting-Time-September-27-2026/article.pdf",
      "readme_path": "preprints/Variance-of-the-Random-k-SAT-Hitting-Time-September-27-2026/README.md",
      "tex_paths": [],
      "pdf_exists": true
    },
    {
      "title": "Computing the Random 3-SAT Threshold",
      "path": "preprints/Computing-the-Random-3-SAT-Threshold-September-27-2026/article.pdf",
      "url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Computing-the-Random-3-SAT-Threshold-September-27-2026/article.pdf",
      "readme_path": "preprints/Computing-the-Random-3-SAT-Threshold-September-27-2026/README.md",
      "tex_paths": [],
      "pdf_exists": true
    }
  ],
  "lean_scope_path": "lean/docs/235.md",
  "lean_scope_url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/lean/docs/235.md",
  "verification_status": "scope_document_available_not_independently_verified",
  "review_status": "inventory_complete_deep_review_pending"
}