Published July 16, 2024
| Version v1
Model
Open
Self-Proving GPT Models for GCD
Description
Model checkpoints for a Self-Proving GPT trained for 100K iterations. Data was encoded in base 210. For a full list of hyperparameters, see the paper. To finetune / evaluate these checkpoints, visit the GitHub repo.
Files
Files
(458.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:f40d16b6e6ebc5ab4d9ac556905774e4
|
76.5 MB | Download |
|
md5:3832665452d5c7fd910c1d9dea2eda35
|
76.5 MB | Download |
|
md5:2852bff3997f65ba5a229104daa9022a
|
76.5 MB | Download |
|
md5:10df51203f1d2dd2e0758dd326dc80a9
|
76.6 MB | Download |
|
md5:8c8ecfc9811e9d3bf6a60ab34318e272
|
76.3 MB | Download |
|
md5:fde7d857858ccc9eea9868665ff8971f
|
76.3 MB | Download |
Additional details
Related works
- Is supplement to
- Preprint: arXiv:2405.15722 (arXiv)
Software
- Repository URL
- https://github.com/orrp/self-proving-models
- Programming language
- Python
- Development Status
- Active