Search results

Refactors of f-divergences

Status: Open.

#154 In RemyDegenne/testing-lower-bounds;

· RemyDegenne opened on Oct 1, 2024

Generalize the DPI for KL, Hellinger and Rényi divergences

Status: Open.

#129 In RemyDegenne/testing-lower-bounds;

· LorenzoLuccioli opened on Aug 17, 2024

Equivalent condition for composition products to be mutually singular

Status: Open.

#59 In RemyDegenne/testing-lower-bounds;

· LorenzoLuccioli opened on Jun 6, 2024

Appearance of the variable Real.one, that should be inaccessible

Mathlib issueThis is an issue with Mathlib, not with our project.This is an issue with Mathlib, not with our project.

Status: Open.

#45 In RemyDegenne/testing-lower-bounds;

· LorenzoLuccioli opened on May 24, 2024

Generalization of kl_pi

Status: Open.

#31 In RemyDegenne/testing-lower-bounds;

· LorenzoLuccioli opened on May 10, 2024

measurability shortcomings

Mathlib issueThis is an issue with Mathlib, not with our project.This is an issue with Mathlib, not with our project.

Status: Open.

#30 In RemyDegenne/testing-lower-bounds;

· LorenzoLuccioli opened on May 10, 2024

Skew symmetry of hellingerDiv should be generalized

Status: Open.

#25 In RemyDegenne/testing-lower-bounds;

· RemyDegenne opened on May 7, 2024

Rewrite under integrals

Status: Open.

#24 In RemyDegenne/testing-lower-bounds;

· RemyDegenne opened on May 7, 2024

The measurability tactic is slow

Mathlib issueThis is an issue with Mathlib, not with our project.This is an issue with Mathlib, not with our project.

Status: Open.

#23 In RemyDegenne/testing-lower-bounds;

· RemyDegenne opened on May 7, 2024

Exponential of a log-likelihood ratio

Status: Open.

#14 In RemyDegenne/testing-lower-bounds;

· RemyDegenne opened on May 2, 2024