This is stars and forks stats for /probcomp/adev repository. As of 07 May, 2024 this repository has 59 stars and 0 forks.
ADEV This repository contains the Haskell prototype that accompanies the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs". See ADEV.jl for an experimental port to Julia. Overview ADEV is a method of automatically differentiating loss functions defined as expected values of probabilistic processes. ADEV users define a probabilistic program $t$, which, given a parameter of type $\mathbb{R}$ (or a subtype), outputs a value of type $\widetilde{\mathbb{R}}$, which...
ADEV This repository contains the Haskell prototype that accompanies the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs". See ADEV.jl for an experimental port to Julia. Overview ADEV is a method of automatically differentiating loss functions defined as expected values of probabilistic processes. ADEV users define a probabilistic program $t$, which, given a parameter of type $\mathbb{R}$ (or a subtype), outputs a value of type $\widetilde{\mathbb{R}}$, which...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| UCSC-CSE-114A/01-haskell | HaskellMakefileShell | 4 | 0 | 14 | 0 |
| tomsmeding/play-haskell | HaskellShellTypeScript | 98 | 0 | 11 | 0 |
| sirech/xmonad | Haskell | 1 | 0 | 0 | 0 |
| GytisZ/HaskellGo | Haskell | 0 | 0 | 0 | 0 |
| hyperfiddle/electric | ClojureCSSJavaScript | 1.4k | 0 | 31 | 0 |
| joar/hs-hitchhiker | Haskell | 0 | 0 | 0 | 0 |
| schrotthaufen/dotfiles | HaskellShellVim Script | 0 | 0 | 0 | 0 |
| deepflowinc/guardian | HaskellShell | 26 | 0 | 1 | 0 |
| MuKnSys/watcher-dsl-beta | HaskellSolidityJavaScript | 1 | 0 | 2 | 0 |
| nurpax/snap-login-form-example | Haskell | 1 | 0 | 1 | 0 |