Link content-addressed release manifest
Browse files
README.md
CHANGED
|
@@ -111,3 +111,7 @@ Small, single-seed strict suites cannot establish broad theorem-proving capabili
|
|
| 111 |
## Attribution
|
| 112 |
|
| 113 |
Base model: m-a-p/OProver-8B (Apache-2.0). Training data derives from Mathlib at `360da6fa66c1273b76b6b2d8c5666fd5ac2e3b56` (Apache-2.0). See `NOTICE`.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 111 |
## Attribution
|
| 112 |
|
| 113 |
Base model: m-a-p/OProver-8B (Apache-2.0). Training data derives from Mathlib at `360da6fa66c1273b76b6b2d8c5666fd5ac2e3b56` (Apache-2.0). See `NOTICE`.
|
| 114 |
+
|
| 115 |
+
## Release Manifest
|
| 116 |
+
|
| 117 |
+
The content-addressed public/private boundary and immutable asset references are in [`release-manifest.json`](./blob/main/release-manifest.json).
|