Hi,
hmc/nuts do not maximize against log_prob, but our optimize method does.
See for example 15.1 Hamiltonian Monte Carlo | Stan Reference Manual
and