Struct DifferentiableProofTraceMap 

pub struct DifferentiableProofTraceMap { /* private fields */ }

Collection of differentiable proof traces keyed by stable proof ID.

Implementations

impl DifferentiableProofTraceMap

pub fn new() -> Self

Create an empty proof trace map.

pub fn insert(&mut self, spec: ProofTraceSpec) -> u64

Insert a trace and return its stable proof ID.

pub fn trace(&self, proof_id: u64) -> Option<&ProofTrace>

Get one exported trace by proof ID.

pub fn traces(&self) -> impl Iterator<Item = &ProofTrace>

Iterate over exported traces.

pub fn accumulate_binary_logistic_gradients( &mut self, targets: &[(String, f64)], ) -> f64

Accumulate binary logistic gradients grouped by answer key.

pub fn apply_gradients(&mut self, learning_rate: f64)

Apply accumulated gradients to trace weights.

Trait Implementations

impl Clone for DifferentiableProofTraceMap

fn clone(&self) -> DifferentiableProofTraceMap

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DifferentiableProofTraceMap

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for DifferentiableProofTraceMap

fn default() -> DifferentiableProofTraceMap

Returns the “default value” for a type.