dynamichmc takes a reporter kwarg, which is used by DynamicHMC to log progress, e.g. to the terminal or as a progress meter. However, currently it is only used for warm-up draws. Reporting progress while sampling would involve either rolling our own progress reporting mechanism or using DynamicHMC's, which is easier.
This would probably just involve calling DynamicHMC.report, which is not part of the API.
dynamichmctakes areporterkwarg, which is used by DynamicHMC to log progress, e.g. to the terminal or as a progress meter. However, currently it is only used for warm-up draws. Reporting progress while sampling would involve either rolling our own progress reporting mechanism or using DynamicHMC's, which is easier.This would probably just involve calling
DynamicHMC.report, which is not part of the API.