home.social

#probprog — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #probprog, aggregated by home.social.

  1. If you're at #BayesComp2023 and see me, say hi! I especially like talking about #ProbProg, #JuliaLang, @TuringLang, @ArviZ, and how bad I am at skiing!

    Tonight I'm presenting a poster about using Pathfinder.jl to initialize HMC and diagnose computational issues.

  2. Soon Turing.jl users will be able to natively store all sampling outputs in an @ArviZ InferenceData object.

    To experiment with the bleeding edge, check out github.com/sethaxen/DynamicPPL!

    #TuringLang #JuliaLang #FOSS #ProbProg

  3. Updated some new thoughts regarding the TerpreT problem and my naive solution

    luxxxlucy.github.io/projects/2

    The original TerpreT paper(arxiv.org/abs/1608.04428)
    discussed solving program induction by gradient based optimization(after making the program differentiable by relaxation ).

    #probprog #programsynthesis #neuralnetwork #deeplearning #NeuroSymbolic