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