Automatic differentiation in Prolog. ~ Tom Schrijvers, Birthe van den Berg, Fabrizio Riguzzi. https://arxiv.org/abs/2305.07878 #Prolog #LogicProgramming #AutomaticDifferentiantion #ProbabilisticProgramming

This one became a nice example of implementing a custom CUDA kernel through various stages of optimization #CUDA #GPU #ProbabilisticProgramming https://indii.org/blog/sum-of-discrete/

I am looking for
a) examples of tools that let you build statistical models more complex then just variations of a single model class (like most stat packages - brms, laavan, ...) but less complex than fully fledged probabilistic programming languages
b) Probabilistic programming languages that neatly support composing non-trivial submodels together

Does anyone have recs?
In both cases I am coming up almost empty handed...

#stan #ppl #ProbabilisticProgramming #brms

Working on a new CUDA kernel for enumerating sums of discrete random variables #GPU #CUDA #Cpp :cpp_language: #ProbabilisticProgramming https://indii.org/blog/fast-discrete-enumeration/

CUDA-enabled packages for Birch are now available! (Previously it was necessary to compile from source for CUDA support.) #GPU #CUDA #MachineLearning #ProbabilisticProgramming #MonteCarlo https://birch.sh/getting-started/

On this week's blog I unravel the great pile-up of acronyms that is 'McNetKAT' https://updatedscholar.blogspot.com/2023/02/discussing-scalable-verification-of.html #atp #verification #networks #ProbabilisticProgramming

We are thrilled to welcome Hugo Paquet as an #MSCA fellow, on a two year Paris Region Fellowship Program.
He is an expert in semantics for programming languages and will work within the LoVe team, on exploiting linearity in probabilistic programming. #ProbabilisticProgramming #Logic
🔗 https://www.cs.ox.ac.uk/people/hugo.paquet/main.html

In 3 weeks, our #Conservation paper has 687 full-text reads! (Incl. ones on researchgate).

I think one of the strengths is using #ProbabilisticProgramming for small populations, letting us do #GWAS and #PopGen better and providing useful estimates back to the conservation practitioners. Lots of other strengths too (high-quality SNP calling) and correcting the record of analyses based off of incomplete genome annotation!

https://www.biorxiv.org/content/10.1101/2022.10.22.513130v1

The #Stan #ProbabilisticProgramming project is looking for new members of the governance body. If you care about the future of #bayesian computation, consider applying - all types of expertise (user, educator, developer, ...) are highly welcome: https://discourse.mc-stan.org/t/nominations-for-2023-stan-governing-body/29258