Seth Axen
Seth Axen
> Isn't the Hausdorff measure only defined for submanifolds of R^n? I believe it's defined for manifolds with an embedding in a metric space. So e.g. if one embedded the...
> Right, but maybe we'd like to use a Haar measure as a base measure for some group manifolds? It may be different from the Hausdorff measure. `total_mass` nicely solves...
> The intrinsic mean on the support seems to be an interesting constrained optimisation problem on its own – actually I am working in that area currently, so if the...
I would prefer we try to keep the interface here as simple as possible. Supporting alternative embeddings would be nice, but I agree that it would be better to handle...
I don't really have the bandwidth to think about this right now, but I'll tag the other Manifolds devs @kellertuer and @mateuszbaran
Thanks for the issue! I'll need to make a detailed comparison with the paper to be sure, but this indeed looks like it could be a mistake. Would be nice...
Fixed by #29
> Does Pathfinder interact with the AD backend chosen in Turing, ie.., `Turing.setadbackend` ? Good question! We use Turing's implementation of either `optim_function` or `optim_problem` (both are exported but not...
Thanks @SamuelBrand1 for the bump! It seems LogDensityProblemsAD and Turing (as well as Optimization.jl) now use the ADTypes interface for specifying AD, so that's a good reason to adopt this...
@SamuelBrand1 #178 adds an `adtype` keyword to `pathfinder` and `multipathfinder` for use for Turing models, LogDensityProblems, and log-density functions. Still need to update the docstrings and add a few more...