Deriva — Derive the Algorithm

← ProjectBuild Everything / M1micrograd: Build Your Own Autograd~180 min

M1propagate responsibility80 lines · A1–A4

Build the scalar backward rule for z=a*b. Return both local responsibilities so a tiny autograd engine can accumulate them later.

Required API

def backward_product(a, b):
    return {'da': ..., 'db': ...}

Behavior

Optional design question

Think through the mechanism first if you want the extra reasoning step. It never blocks the editor.

Visible contract tests

•
product gradientsbackward_product(3, 4)
the product rule must point responsibility to the other input
•
zero operandbackward_product(0, 5)
zero values do not erase the derivative of the other edge

2 hidden edge tests run after the visible contract passes.

def backward_product(a, b):
    # dz/da = b and dz/db = a for z=a*b.
    pass

Run Tests to see the contract verdicts here.

0 runs

Opening…