| { | |
| "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" | |
| } | |
| ] | |
| } |