Skip to content

Add GeoVI extension#474

Open
ptiede wants to merge 18 commits into
mainfrom
ptiede-geovi
Open

Add GeoVI extension#474
ptiede wants to merge 18 commits into
mainfrom
ptiede-geovi

Conversation

@ptiede

@ptiede ptiede commented Jul 6, 2026

Copy link
Copy Markdown
Owner

Splits the GeoVI work out of #460 so that PR is purely the ProbabilityTransports transition.

What this adds

  • ext/ComradeGeoVIExt.jl: implements GeoVI's observation-space likelihood interface (logdensity, normalized_residual, transformation, leftsqrtmetric/rightsqrtmetric, fishermetric) directly on VLBILikelihoods.ComplexVisLikelihood — no bespoke wrapper type.
  • geovi_likelihood(tpost) (stub in src/posterior/transformed.jl, method in the extension): builds a composed GeoVI likelihood from a standard-normal–standardized posterior, so GeoVI's ½‖ξ‖² reference prior exactly reproduces the standardized Comrade prior.
  • GeoVI.default_latent: a zero starting latent sized to dimension(tpost) with the array type taken from the data variance array, so it matches the problem's backend (host vs Reactant device).
  • GeoVI weakdep + ComradeGeoVIExt entries in Project.toml.

Notes

🤖 Generated with Claude Code

ptiede and others added 17 commits June 4, 2026 21:17
Lets GeoVI's `init`/`fit` be called without an explicit ξ0 for a
geovi_likelihood-built ComposedLikelihood: returns a zero starting
latent of size `dimension(tpost)`, with the array type taken from the
data-likelihood's variance array Σ so it matches the backend (host or
Reactant device). Dispatch keys on the forward being `forwardmodel`,
so it only fires for geovi_likelihood likelihoods.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Removes ComradeGeoVIExt, the GeoVI weakdep/extension entries in Project.toml,
and the geovi_likelihood stub so this PR is purely the ProbabilityTransports
transition. The GeoVI work moves to the ptiede-geovi branch stacked on this one.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Adds ComradeGeoVIExt: implements GeoVI's observation-space likelihood
interface on VLBILikelihoods.ComplexVisLikelihood, provides
geovi_likelihood to build a composed GeoVI likelihood from a
standard-normal-standardized posterior, and a GeoVI.default_latent
matching the data backend.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Base automatically changed from ptiede-ptransport to main July 12, 2026 01:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant