File size: 690 Bytes
309b968 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 | """Verified units — the trained, N/N bit-exact INT8 building blocks bundled with
DaisyChain (from the neural-gpu-verify project). Build models with VerifiedLinear
and their FORWARD compute runs through these verified units (multiply / requant /
ReLU), materialized as lookup tables for practical speed (fast=True).
These are pre-trained; users do NOT train new units — they train THROUGH them.
"""
from .qat import VerifiedLinear, load_units, build_luts
from .mul8 import NeuralMul8
from .ops import NeuralReLU8, NeuralRequant16
from . import instrument
__all__ = ["VerifiedLinear", "load_units", "build_luts",
"NeuralMul8", "NeuralReLU8", "NeuralRequant16", "instrument"]
|