Downloads · 30 days
0
neural-aarch64-units
NeuralVerified/neural-aarch64-units
neural-aarch64-units is a machine learning model from NeuralVerified. Use it for the machine learning task on the model card, and read the license before you ship it in a product. It is set up for pytorch. The card lists the license as mit.
These are the verified neural slice units that the Neural AArch64 (ARMv8-A) CPU composes its datapath from. Each unit is a small MLP trained and verified exhaustively (N/N) against a golden reference over its entire f…
Access
Public
Updated Jul 21, 2026
Repo size
5.2 MB
Likes
0
Public
Repo makeup
Click a slice to open those files.
.pt5.2 MB · 100%
At a glance
- Library
- pytorch
- License
- mit
- Access
- Public
- Created
- Jul 21, 2026
- Updated
- Jul 21, 2026
- SHA
- de947336
Model card
From the Hugging Face model README
Neural AArch64 — verified datapath unit weights
These are the verified neural slice units that the Neural AArch64 (ARMv8-A) CPU composes its datapath from. Each unit is a small MLP trained and verified exhaustively (N/N) against a golden reference over its entire finite input domain, so the composed CPU is bit-identical to a conventional reference.
The AArch64 integer datapath reuses the architecture-neutral byte-slice units (shared with the i386, rv32ima and ARMv7 cores — the slices don't know which ISA they serve) plus two AArch64-specific units:
| unit | role |
|---|---|
ADC8 / SBB8 | 8-bit add/sub-with-carry slices (rippled for 32/64-bit X-regs, NZCV) |
AND8 / OR8 / XOR8 | logic slices (AND/ORR/EOR/ANDS) |
NOT8 | bitwise NOT slice |
SHL1 / SHR1 | 1-bit shift slices (LSL/LSR/ASR/ROR composed from these) |
MASK8 | partial-product slice for MUL/MADD/UMULH/SMULH and UDIV/SDIV trees |
CONDEXEC | cond(4) × NZCV(4) → execute(1); drives B.cond / CSEL / CCMP (shared with ARMv7) |
DECODE_BITMASK | the AArch64 logical-immediate decoder: N:immr:imms (13 bits) → 64-bit bitmask, verified exact on all 8192 inputs |
FLAGS8, PREFIX, MODRM, SIB are included because the shared loader builds
the full slice set; they are x86-decode units and are not used by the AArch64
composition.
Load with build_arm64_units() from the project's arm64_units.py (place these
files in the loader's models/ cache dir). Companion Space:
NeuralVerified/neural-aarch64.
<!-- neuralverified-relocation-note -->
Now hosted by NeuralVerified.
This repo was moved into the NeuralVerified organization to help organize my profile. Originally published at
Quazim0t0/neural-aarch64-units.
- Library
- pytorch
- License
- mit
- Created
- Jul 21, 2026
- Updated
- Jul 21, 2026