Overview

Perform symbolic Pauli propagation of observables through a circuit to derive explicit functions for the expectation values in terms of the circuit’s parameters.