Skip to content

Actions: RemyDegenne/testing-lower-bounds

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,489 workflow runs
1,489 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add web.bbl
.github/workflows/blueprint.yml #64: Commit f6df687 pushed by RemyDegenne
March 13, 2024 14:39 5m 36s master
March 13, 2024 14:39 5m 36s
fix?
.github/workflows/blueprint.yml #63: Commit 2376b11 pushed by RemyDegenne
March 13, 2024 14:37 5m 31s master
March 13, 2024 14:37 5m 31s
mathlib bump
.github/workflows/blueprint.yml #62: Commit 9690f43 pushed by RemyDegenne
March 13, 2024 14:34 46s master
March 13, 2024 14:34 46s
add uses
.github/workflows/blueprint.yml #61: Commit 7b26f04 pushed by RemyDegenne
March 12, 2024 18:00 4m 41s master
March 12, 2024 18:00 4m 41s
blueprint: add product testing lemma
.github/workflows/blueprint.yml #60: Commit c19d428 pushed by RemyDegenne
March 12, 2024 16:27 4m 6s master
March 12, 2024 16:27 4m 6s
fix uses
.github/workflows/blueprint.yml #59: Commit 8268dc9 pushed by RemyDegenne
March 12, 2024 16:11 4m 2s master
March 12, 2024 16:11 4m 2s
add testing bounds
.github/workflows/blueprint.yml #58: Commit 6280c66 pushed by RemyDegenne
March 12, 2024 16:04 4m 4s master
March 12, 2024 16:04 4m 4s
blueprint: renyi = inf sum kl
.github/workflows/blueprint.yml #57: Commit 1a0b087 pushed by RemyDegenne
March 12, 2024 14:18 4m 37s master
March 12, 2024 14:18 4m 37s
blueprint: add Chernoff div
.github/workflows/blueprint.yml #56: Commit 4f1c71e pushed by RemyDegenne
March 12, 2024 13:46 4m 2s master
March 12, 2024 13:46 4m 2s
blueprint: fDiv of space augmentation
.github/workflows/blueprint.yml #55: Commit 11b88ab pushed by RemyDegenne
March 12, 2024 12:30 4m 32s master
March 12, 2024 12:30 4m 32s
blueprint: kl and conditioning wrt an event
.github/workflows/blueprint.yml #54: Commit c083855 pushed by RemyDegenne
March 12, 2024 12:13 4m 38s master
March 12, 2024 12:13 4m 38s
blueprint: testing lower bound on max
.github/workflows/blueprint.yml #53: Commit 5a8d53c pushed by RemyDegenne
March 12, 2024 10:17 4m 1s master
March 12, 2024 10:17 4m 1s
slighly change a statement
.github/workflows/blueprint.yml #52: Commit 5b05814 pushed by RemyDegenne
March 12, 2024 10:01 4m 5s master
March 12, 2024 10:01 4m 5s
fix
.github/workflows/blueprint.yml #51: Commit 7bd1e4e pushed by RemyDegenne
March 12, 2024 09:57 4m 2s master
March 12, 2024 09:57 4m 2s
blueprint: hellinger vs tv
.github/workflows/blueprint.yml #50: Commit c0d797e pushed by RemyDegenne
March 12, 2024 09:50 4m 11s master
March 12, 2024 09:50 4m 11s
gitignore
.github/workflows/blueprint.yml #49: Commit 7e2b5ed pushed by RemyDegenne
March 12, 2024 09:16 4m 44s master
March 12, 2024 09:16 4m 44s
fix
.github/workflows/blueprint.yml #48: Commit 1ba9f26 pushed by RemyDegenne
March 11, 2024 15:41 4m 0s master
March 11, 2024 15:41 4m 0s
typo
.github/workflows/blueprint.yml #47: Commit 772dd9f pushed by RemyDegenne
March 11, 2024 15:26 3m 54s master
March 11, 2024 15:26 3m 54s
typo
.github/workflows/blueprint.yml #46: Commit 8aa7b18 pushed by RemyDegenne
March 11, 2024 15:26 3m 59s master
March 11, 2024 15:26 3m 59s
blueprint: tv and hellinger
.github/workflows/blueprint.yml #45: Commit 5aef255 pushed by RemyDegenne
March 11, 2024 15:20 4m 29s master
March 11, 2024 15:20 4m 29s
blueprint: fix
.github/workflows/blueprint.yml #44: Commit ca45833 pushed by RemyDegenne
March 11, 2024 13:41 3m 53s master
March 11, 2024 13:41 3m 53s
blueprint: add fDiv_nonneg
.github/workflows/blueprint.yml #43: Commit 434d9cf pushed by RemyDegenne
March 11, 2024 13:37 4m 13s master
March 11, 2024 13:37 4m 13s
blueprint: fDiv is convex
.github/workflows/blueprint.yml #42: Commit 22e39c6 pushed by RemyDegenne
March 11, 2024 13:08 4m 11s master
March 11, 2024 13:08 4m 11s
number thms by chapter
.github/workflows/blueprint.yml #41: Commit fcbdfe5 pushed by RemyDegenne
March 11, 2024 12:39 3m 57s master
March 11, 2024 12:39 3m 57s
blueprint: marginals proof
.github/workflows/blueprint.yml #40: Commit 82e0d9c pushed by RemyDegenne
March 11, 2024 12:29 4m 3s master
March 11, 2024 12:29 4m 3s
ProTip! You can narrow down the results and go further in time using created:<2024-03-11 or the other filters available.