alphaproof-full-v3-value-head

AlphaProof / REAP Full-v3 Value Head

Private research artifact for reproducing an AlphaProof-related REAP experiment. This repository contains the accepted full-v3 release snapshot from experience exp-e24fc3c0a20c-01.

What this repository contains

The snapshot transfers two trained components:

• a LoRA adapter for the policy model;
• a categorical 64-bin value head (linear-3584-silu-256-linear-64).

The artifact is stored in the REAP snapshot format. It is not a standalone Transformers checkpoint and cannot be loaded directly with AutoModelForCausalLM.from_pretrained(...).

Base-model chain

• REAP policy/runtime base: FrenzyMath/REAL-Prover
• Pinned REAL-Prover revision: fe76f68d9a88f342cb7b546307c20292fea9cced
• REAL-Prover's upstream language-model base: Qwen/Qwen2.5-Math-7B
• Model class: 7B-class causal language model (the Hugging Face page reports approximately 8B parameters)
• Hidden size: 3584

In this repository, “REAP 7B base” refers to the pinned REAL-Prover policy base used by the REAP experiment. REAP itself is the experiment/search runtime, not a separate full 7B checkpoint bundled in this snapshot. The upstream model and its declared base model are published under Apache-2.0. Keep the upstream attribution when redistributing or publishing derivatives.

Files

Snapshot identity

• Schema: reap.gpu.snapshot.v1
• Session / experience: exp-e24fc3c0a20c-01
• Snapshot: release
• Acceptance: completed and passed using independent Lean verification
• Transferred components: adapter, value_head

Integrity verification

After downloading, verify the main artifact before use:

Get-FileHash -Algorithm SHA256 .\backend.json

Expected result:

becf7c4c6650fca4b11b1087ddd86f4c5dfb69f9b21913bc3f8c81c8f1c37479

Usage notes

Loading requires the matching REAP runtime and the exact upstream model revision. The runtime must decode the torch-save-base64 payload in backend.json, attach the LoRA adapter to the expected target modules, and restore the categorical value head according to the snapshot contract.

Do not treat this artifact as a general-purpose chat model or as a complete copy of REAL-Prover. The upstream base weights are not bundled here.

Sharing status

This repository is intentionally private while experiment provenance, training data redistribution conditions, and a clean public loading interface are still being reviewed. Organization members should not republish the artifact without reviewing those items and preserving upstream attribution.