Transition state theory: Variational formulation, dynamical corrections, and error estimates | Synapse