Skip to content

Actions: LeanMachineLearning/LML

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bayesian regret of Thompson sampling Compile blueprint #538: Pull request #61 synchronize by paulorauber
11m 48s paulorauber:bayesian_space
paulorauber:bayesian_space
11m 48s
Bayesian regret of Thompson sampling Compile blueprint #537: Pull request #61 synchronize by paulorauber
4m 31s paulorauber:bayesian_space
paulorauber:bayesian_space
4m 31s
Stochastic gradient descent Compile blueprint #536: Pull request #103 synchronize by RemyDegenne
10m 42s sgd
sgd
10m 42s
Bayesian regret of Thompson sampling Compile blueprint #535: Pull request #61 synchronize by RemyDegenne
10m 10s paulorauber:bayesian_space
paulorauber:bayesian_space
10m 10s
Lemmas from #61 about HasCondDistrib (#108) Compile blueprint #534: Commit 01fd6d4 pushed by RemyDegenne
2h 3m 45s main
main
2h 3m 45s
Lemmas from #61 about HasCondDistrib Compile blueprint #533: Pull request #108 opened by RemyDegenne
10m 53s auxLemmas
auxLemmas
10m 53s
Bayesian regret of Thompson sampling Compile blueprint #532: Pull request #61 synchronize by RemyDegenne
10m 45s paulorauber:bayesian_space
paulorauber:bayesian_space
10m 45s
Lemmas from #61 about sums of rewards (#107) Compile blueprint #531: Commit 23ecbac pushed by RemyDegenne
31m 36s main
main
31m 36s
Lemmas from #61 about sums of rewards Compile blueprint #530: Pull request #107 opened by RemyDegenne
10m 1s auxLemmas
auxLemmas
10m 1s
fix names in verso blueprint (#106) Compile blueprint #529: Commit 8384e52 pushed by RemyDegenne
1h 54m 19s main
main
1h 54m 19s
fix names in verso blueprint Compile blueprint #528: Pull request #106 opened by RemyDegenne
12m 12s blueprint
blueprint
12m 12s
Stochastic gradient descent Compile blueprint #527: Pull request #103 synchronize by RemyDegenne
10m 39s sgd
sgd
10m 39s
Stochastic gradient descent Compile blueprint #526: Pull request #103 synchronize by RemyDegenne
9m 49s sgd
sgd
9m 49s
Stochastic gradient descent Compile blueprint #525: Pull request #103 synchronize by RemyDegenne
9m 15s sgd
sgd
9m 15s
Stochastic gradient descent Compile blueprint #524: Pull request #103 synchronize by RemyDegenne
2m 26s sgd
sgd
2m 26s
Stochastic gradient descent Compile blueprint #523: Pull request #103 synchronize by RemyDegenne
9m 19s sgd
sgd
9m 19s
Stochastic gradient descent Compile blueprint #522: Pull request #103 synchronize by RemyDegenne
9m 22s sgd
sgd
9m 22s
Stochastic gradient descent Compile blueprint #521: Pull request #103 synchronize by RemyDegenne
9m 53s sgd
sgd
9m 53s
Stochastic gradient descent Compile blueprint #520: Pull request #103 synchronize by RemyDegenne
1m 51s sgd
sgd
1m 51s
Add several global optimization algorithms Compile blueprint #519: Pull request #87 synchronize by RemyDegenne
9m 44s gaetanserre:opti
gaetanserre:opti
9m 44s
Bayesian regret of Thompson sampling Compile blueprint #518: Pull request #61 synchronize by RemyDegenne
9m 30s paulorauber:bayesian_space
paulorauber:bayesian_space
9m 30s
change permissions Compile blueprint #517: Commit 6fd4d12 pushed by RemyDegenne
2h 4m 42s main
main
2h 4m 42s
Bayesian regret of Thompson sampling Compile blueprint #516: Pull request #61 synchronize by RemyDegenne
4m 32s paulorauber:bayesian_space
paulorauber:bayesian_space
4m 32s
Cleanup: letters used for types, names (#105) Compile blueprint #515: Commit 45cacef pushed by RemyDegenne
3m 10s main
main
3m 10s
Cleanup: letters used for types, names Compile blueprint #514: Pull request #105 synchronize by RemyDegenne
3m 56s cleanup
cleanup
3m 56s
ProTip! You can narrow down the results and go further in time using created:<2026-05-09 or the other filters available.