{
  "schema_version": 1,
  "generated_at": "2026-07-29T01:49:55+00:00",
  "root_name": "hgMZraPlSv",
  "bucket_id": null,
  "file_count": 0,
  "total_size": 0,
  "files": [],
  "hub_refs": [
    {
      "url": "https://huggingface.co/spaces/Srishti280992/repro-beyond-theorem-proving-formal-problem-solving",
      "type": "Spaces",
      "label": "Srishti280992/repro-beyond-theorem-proving-formal-problem-solving"
    },
    {
      "url": "https://huggingface.co/collections/purewhite42/formal-problem-solving-681b573aac8f09f308bb7c66",
      "type": "Collections",
      "label": "purewhite42/formal-problem-solving-681b573aac8f09f308bb7c66"
    },
    {
      "url": "https://huggingface.co/papers/2505.04528",
      "type": "Papers",
      "label": "2505.04528"
    },
    {
      "url": "https://huggingface.co/buckets/SabaPivot/icml26-hgMZraPlSv-artifacts#repro-bundle.tar.gz",
      "type": "Buckets",
      "label": "SabaPivot/icml26-hgMZraPlSv-artifacts"
    }
  ]
}