{
  "schema_version": 1,
  "public_repo": "FluffyAIcode/Kakeya-OProver-Stage3-DPO",
  "base_model": "m-a-p/OProver-8B",
  "base_revision": "cd9ffd383b584d95bf00e04b88b35b05928b211c",
  "source_private_repo": "FluffyAIcode/oprover-8b-mathlib-lora-stage1",
  "source_immutable_revision": "c3b684ce7729ec94305deac4fbc5fd506c7f79a6",
  "adapter_sha256": "064fb996230352ae12fd326944e8c5696edc22c36d34fc710805cb5aa2a3f9e3",
  "dataset_artifact_sha256": "2de80cfbb1c5e14c89611810e02b9f432ec2643a203e4c983cd48b1e6ad919a3",
  "public_private_boundary": {
    "public": [
      "adapter",
      "tokenizer",
      "sanitized metrics/trainer state",
      "aggregate strict evaluation",
      "hashes/signatures/config"
    ],
    "private": [
      "chain-of-thought",
      "production prompts",
      "Jensen candidate proof bodies",
      "raw candidate-bearing signed audits",
      "optimizer and RNG checkpoints"
    ]
  }
}