×

Found 85 Software Packages (Results 1–85)

Stan

Software Authors:   Stan Development Team
Referenced in: 243 Publications (2013–2022)
Related Software: R; JAGS; NUTS; BayesDA; RStan; WinBUGS; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

ProbLog

Software Authors:   Renkens, Joris; Van Den Broeck, Guy; Nijssen, Siegfried
Referenced in: 98 Publications (2007–2022)
Related Software: PRISM; PITA; CP-logic; Church; BLOG; YAP-Prolog; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

RStan

Software Authors:   Jiqiang Guo; et. al.
Referenced in: 72 Publications (2015–2022)
Related Software: R; Stan; rstan; BayesDA; JAGS; NUTS; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

rstan

Software Authors:   Jiqiang Guo, Jonah Gabry, Ben Goodrich, Daniel Lee, Krzysztof Sakrejda, Oleg Sklyar, Jens Oehlschlaegel-Akiyoshi, Hadley Wickham, Joel de Guzman, John Fletcher, Thomas Heller, Eric Niebler
Referenced in: 46 Publications (2017–2022)
Related Software: RStan; R; Stan; BayesDA; JAGS; CODA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

PyMC

Software Authors:   Chris Fonnesbeck, Anand Patil, David Huard, John Salvatier
Referenced in: 32 Publications (2010–2022)
Related Software: Stan; Python; NUTS; SciPy; NumPy; TensorFlow; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

FRIL

Software Authors:   Baldwin, J. F.; Martin, T. P.; Pilsworth, B. W.
Referenced in: 37 Publications (1987–2020)
Related Software: Likelog; FPROLOG; XPath; XQuery; Ciao; Rfuzzy; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

ADVI

Software Authors:   Alp Kucukelbir, Rajesh Ranganath, Andrew Gelman, David M. Blei
Referenced in: 34 Publications (2017–2022)
Related Software: Stan; PRMLT; NUTS; R; ADADELTA; RStan; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Numerical analysis (65-XX)

MoDeST

Software Authors:   D'Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter; Klaren, Ric
Referenced in: 31 Publications (2001–2021)
Related Software: PRISM; Uppaal; HyTech; IF-2.0; MOTOR; CADP; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

PMaude

Software Authors:   Gul Agha; José Meseguer; Koushik Sen
Referenced in: 26 Publications (2005–2021)
Related Software: Maude; PVeStA; VESTA; CafeOBJ; ITP; PRISM; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

nimble

Software Authors:   Perry de Valpine, Christopher Paciorek, Daniel Turek, Cliff Anderson- Bergman, Duncan Temple Lang
Referenced in: 22 Publications (2017–2022)
Related Software: R; JAGS; Stan; WinBUGS; CODA; spBayes; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

IBAL

Software Authors:   Avi Pfeffer
Referenced in: 27 Publications (2003–2019)
Related Software: Church; BLOG; PRISM; FACTORIE; PR-OWL; BUGS; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

ecp

Software Authors:   Nicholas A. James, Wenyu Zhang, David S. Matteson
Referenced in: 17 Publications (2015–2022)
Related Software: changepoint; R; wbs; cpm; strucchange; bcp; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

PITA

Software Authors:   Riguzzi, Fabrizio; Swift, Terrance
Referenced in: 22 Publications (2010–2021)
Related Software: ProbLog; CP-logic; PRISM; MCINTYRE; XSB; BLOG; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

ToulBar2

Software Authors:   Thomas Schiex; Simon de Givry; David Allouche
Referenced in: 22 Publications (2007–2020)
Related Software: mplp2; NumberJack; MaxHS; MiniMaxSat; GitHub; Gecode; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CP-logic

Software Authors:   Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice
Referenced in: 18 Publications (2009–2022)
Related Software: ProbLog; PITA; PRISM; MCINTYRE; BLOG; XSB; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Edward

Software Authors:   Tran, D., Kucukelbir, A., Dieng, A. B., Rudolph, M., Liang, D., Blei, D. M.
Referenced in: 12 Publications (2017–2022)
Related Software: Stan; TensorFlow; ADVI; Theano; PyMC; sgmcmc; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Numerical analysis (65-XX)

FODD-Planner

Software Authors:   Joshi, S.; Khardon, R.
Referenced in: 13 Publications (2008–2021)
Related Software: FluCaP; Graphplan; ProbLog; GOLOG; PEORL; REBA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Pyro

Software Authors:   Bingham, Eli; Chen, Jonathan P.; Jankowiak, Martin; Obermeyer, Fritz; Pradhan, Neeraj; Karaletsos, Theofanis; Singh, Rohit; Szerlip, Paul; Horsfall, Paul; Goodman, Noah D.
Referenced in: 8 Publications (2020–2022)
Related Software: TensorFlow; PyTorch; Python; PyMC; Stan; NumPy; …
Main Fields: Global analysis, analysis on manifolds (58-XX); Statistics (62-XX); Numerical analysis (65-XX)

FACTORIE

Software Authors:   Andrew McCallum, Karl Schultz, Sameer Singh
Referenced in: 11 Publications (2011–2020)
Related Software: Church; IBAL; ProbLog; BLOG; Haskell; Infer.NET; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

BoTorch

Software Authors:   Maximilian Balandat, Brian Karrer, Daniel R. Jiang, Samuel Daulton, Benjamin Letham, Andrew Gordon Wilson, Eytan Bakshy
Referenced in: 10 Publications (2021–2022)
Related Software: PyTorch; Hyperband; SMAC; Adam; Spearmint; GPflowOpt; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

Figaro

Software Authors:   Avi Pfeffer
Referenced in: 11 Publications (2015–2022)
Related Software: Church; ProbLog; Venture; BLOG; PRISM; Pyro; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

pGCL

Software Authors:   Cock, D.
Referenced in: 12 Publications (2005–2017)
Related Software: Coq; Isabelle/HOL; Isabelle; Density Compiler; Markov Models; Zoo Probabilistic Systems; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

Venture

Software Authors:   Vikash Mansinghka, Daniel Selsam, Yura Perov
Referenced in: 8 Publications (2016–2018)
Related Software: Church; Stan; BUGS; Figaro; Hakaru; JAGS; …
Main Fields: Category theory; homological algebra (18-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

Distributions.jl

Software Authors:   Lin, D.; White, J. M.
Referenced in: 3 Publications (2015–2021)
Related Software: Julia; Plots.jl; R; MLJ; Flux; DifferentialEquations.jl; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

bayesreg

Software Authors:   van Erp, Sara; Oberski, Daniel L.; Mulder, Joris
Referenced in: 8 Publications (2019–2022)
Related Software: R; UCI-ml; loo; Stan; HDInterval; BGGM; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Biology and other natural sciences (92-XX)

CryptHOL

Software Authors:   Basin, D., Lochbihler, A., Sefidgar, S.R.
Referenced in: 8 Publications (2017–2022)
Related Software: Isabelle/HOL; Archive Formal Proofs; HOL; EasyCrypt; Isabelle; Lifting; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

MCINTYRE

Software Authors:   Riguzzi, F.
Referenced in: 7 Publications (2015–2019)
Related Software: ProbLog; PITA; CP-logic; PRISM; cplint; SWI-Prolog; …
Main Fields: Computer science (68-XX)

miniKanren

Software Authors:   Daniel P. Friedman, William E. Byrd, Oleg Kiselyov
Referenced in: 8 Publications (2008–2022)
Related Software: KANREN; PFLP; Datafun; AIspace; Teyjus; GHC; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

VBASim

Software Authors:   Nelson, Barry L.
Referenced in: 7 Publications (2013–2022)
Related Software: ASAP3; sobol.cc; JBool; R-SPLINE; ASTRO-DF
Main Fields: General and overarching topics; collections (00-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

CertiCrypt

Software Authors:   Barthe, Gilles; Grégoire, Benjamin; Zanella Béguelin, Santiago
Referenced in: 5 Publications (2009–2017)
Related Software: Coq; Coq/SSReflect; EasyCrypt; kepler98; seL4
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

cplint

Software Authors:   Riguzzi, Fabrizio; Cota, Giuseppe; Bellodi, Elena; Zese, Riccardo
Referenced in: 6 Publications (2017–2022)
Related Software: ProbLog; SWI-Prolog; PRISM; XSB; PITA; CP-logic; …
Main Fields: Computer science (68-XX)

NMRDPP

Software Authors:   Thiebaux, S.; Gretton, C.; Slaney, J.; Price, D.; Kabanza, F.
Referenced in: 6 Publications (2006–2021)
Related Software: Graphplan; GitHub; MONA; PRISM; FluCaP; FODD-Planner; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

OpenDR

Software Authors:   Matthew M. Loper; Michael J. Black
Referenced in: 4 Publications (2018–2021)
Related Software: TensorFlow; ImageNet; 3D-R2N2; ShapeNet; PyTorch; Adam; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

PyStan

Software Authors:   PyStan developers
Referenced in: 2 Publications (2019)
Related Software: Stan; PyMC; Pyro; Python; UCI-ml; NumPy; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

Biips

Software Authors:   Adrien Todeschini, François Caron, Marc Fuentes, Pierrick Legrand, Pierre Del Moral
Referenced in: 0 Publications
Related Software: vSMC; R; LibBi; pomp; JAGS; BUGS; …
Main Fields:

ExonHunter

Software Authors:   Brejová, B.; Brown, D. G.; Li, M.; Vinař, T.
Referenced in: 3 Publications (2007–2008)
Related Software: ESTScan; GlimmerHMM; TigrScan; EasyGene; Pfam; SMART; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

GenPSAT

Software Authors:   Caleiro, Carlos; Casal, Filipe; Mordido, Andreia
Referenced in: 4 Publications (2017–2020)
Related Software: Gurobi; BRECCIA; BLOG; LIRA
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)

Hakaru

Software Authors:   Narayanan, Praveen; Carette, Jacques; Romano, Wren; Shan, Chung-chieh; Zinkov, Robert
Referenced in: 4 Publications (2016–2018)
Related Software: Venture; Church; Stan; Idris; Lean; MathScheme; …
Main Fields: Computer science (68-XX)

PFLP

Software Authors:   Sandra Dylus, Jan Christiansen, Finn Teegen
Referenced in: 3 Publications (2020–2022)
Related Software: EasyCheck; CHR.js; FACTORIE; PAKCS; Church; FlatCurry; …
Main Fields: Computer science (68-XX)

REBA

Software Authors:   Sridharan, Mohan; Gelfond, Michael; Zhang, Shiqi; Wyatt, Jeremy
Referenced in: 4 Publications (2019–2021)
Related Software: PEORL; CCalc; FODD-Planner; Smodels; GitHub; ALM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

StanHeaders

Software Authors:   Ben Goodrich, et.al.
Referenced in: 1 Publication (2022)
Related Software: rstan; R; Stan; lme4; brms; JAGS; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

Turing

Software Authors:   Hong Ge, Kai Xu, Zoubin Ghahramani
Referenced in: 2 Publications (2022)
Related Software: Stan; PyMC; Julia; Optim; Distributions.jl; SciPy; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

BayesPy

Software Authors:   Luttinen, Jaakko
Referenced in: 3 Publications (2016–2021)
Related Software: Python; PyMC; PRMLT; Fizzy; Lingvo; Kpax3; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

KReator

Software Authors:   Finthammer, Marc; Thimm, Matthias
Referenced in: 3 Publications (2012)
Related Software: Alchemy; ProbLog
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

NumPyro

Software Authors:   Du Phan, Neeraj Pradhan, Martin Jankowiak
Referenced in: 1 Publication (2021)
Related Software: JAX; PyMC; TensorFlow; UCI-ml; PyStan; Edward2; …
Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX); Biology and other natural sciences (92-XX)

pGOLOG

Software Authors:   –
Referenced in: 2 Publications (2001–2003)
Related Software: GOLOG; ConGolog; Graphplan
Main Fields: Computer science (68-XX)

PrASP

Software Authors:   Nickles, Matthias
Referenced in: 3 Publications (2016–2022)
Related Software: PRISM; ProbLog; cplint; SCIFF; XSB; CP-logic; …
Main Fields: Computer science (68-XX)

Pronto

Software Authors:   Pavel Klinov; Bijan Parsia
Referenced in: 3 Publications (2015–2017)
Related Software: Ontop; MayBMS; LUBM; ProbLog; MSUnCore; Chaff; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Anglican

Software Authors:   Tolpin, D.; van de Meent, J. W.; Yang, H.; Wood, F.
Referenced in: 2 Publications (2018–2020)
Related Software: ProbLog; Clingo; PRMLT; POMDPS; GOLOG; PRISM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Bambi

Software Authors:   Tomás Capretto, Camen Piho, Ravin Kumar, Jacob Westfall, Tal Yarkoni, Osvaldo A. Martin
Referenced in: 0 Publications
Related Software: Statsmodels; lme4; Python; Seaborn; lsmeans; Lmertest; …
Main Fields:

bayes4psy

Software Authors:   Jure Demšar, Grega Repovš, Erik Štrumbelj
Referenced in: 0 Publications
Related Software: R; BPviGM1; ggplot2; JAGS; MATCH Uncertainty Elicitation; Stan; …
Main Fields:

ForneyLab

Software Authors:   Cox, Marco; van de Laar, Thijs; de Vries, Bert
Referenced in: 1 Publication (2020)
Related Software: Matlab; Python; SPM; OpenAI Gym; pymdp; PRMLT; …
Main Fields: Computer science (68-XX)

HyPER

Software Authors:   P. Kouki, S. Fakhraei, J. Foulds, M. Eirinaki, L. Getoor
Referenced in: 2 Publications (2017)
Related Software: ClaimEval; BLOG; Edward; mplp2; foxPSL; SPOOK; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

LogiQL

Software Authors:   Terry Halpin, Spencer Rugaber
Referenced in: 2 Publications (2016–2017)
Related Software: Datalog; Figaro; Tuffy; DeepDive; Venture; PyMC; …
Main Fields: Computer science (68-XX)

PHOG

Software Authors:   Pavol Bielik, Veselin Raychev, Martin Vechev
Referenced in: 0 Publications
Related Software: DeepFix; StaQC; CoCoSUM; GraphCodeBERT; Devign; MISIM; …
Main Fields:

TerpreT

Software Authors:   Alexander L. Gaunt, Marc Brockschmidt, Rishabh Singh, Nate Kushman, Pushmeet Kohli, Jonathan Taylor, Daniel Tarlow
Referenced in: 0 Publications
Related Software: BlinkFill; FlashMeta; Infer.NET; z3; LLVM; SMT-LIB; …
Main Fields:

Warmr

Software Authors:   R. D. King, A. Srinivasan, L. Dehaspe
Referenced in: 2 Publications (2005–2012)
Related Software: CrossMine; MrBayes; CloSpan; CloseGraph; RadCon; TreeDT; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

BOXVIA

Software Authors:   Akimitsu Ishii, Ryunosuke Kamijyo, Akinori Yamanaka, Akiyasu Yamamoto
Referenced in: 0 Publications
Related Software: BayesianOptimization; COMBO; BayesO; PyGPGO; BoTorch; GPflowOpt; …
Main Fields:

d3p

Software Authors:   Lukas Prediger, Niki Loppi, Samuel Kaski, Antti Honkela
Referenced in: 0 Publications
Related Software: PyVacy; Theano; CUDA; PyTorch; Adam; NumPy; …
Main Fields:

Edward2

Software Authors:   Dave Moore, Maria I. Gorinova
Referenced in: 0 Publications
Related Software: UCI-ml; PyStan; XLA; JAX; PyMC; TensorFlow; …
Main Fields:

MatLM

Software Authors:   Yanshan Wang, Hongfang Liu
Referenced in: 0 Publications
Related Software: Maven; la4j; JGibbLDA; JAMA; Lucene; Lemur
Main Fields:

MSL

Software Authors:   LaValle S et al.
Referenced in: 0 Publications
Related Software:
Main Fields:

MXFusion

Software Authors:   Zhenwen Dai et al.
Referenced in: 1 Publication (2020)
Related Software: GluonTS; sktime; Pyro; MXNet; PyTorch; TensorFlow; …
Main Fields: Computer science (68-XX)

Omega.jl

Software Authors:   Tavares Z
Referenced in: 0 Publications
Related Software: Distributions.jl; SciPy; Mamba; Bridge.jl; JuliaSmoothOptimizers; QuantEcon.jl; …
Main Fields:

Picture

Software Authors:   Tejas D Kulkarni; Pushmeet Kohli; Joshua B Tenenbaum; Vikash Mansinghka
Referenced in: 1 Publication (2018)
Related Software: RMSprop; Tangent; NUTS; OptNet; AlexNet; Stan Math; …
Main Fields: Numerical analysis (65-XX)

PLINI

Software Authors:   Albanese, Massimiliano; Broecheler, Matthias; Grant, John; Martinez, Maria Vanina; Subrahmanian, V.S.
Referenced in: 0 Publications
Related Software:
Main Fields:

Poirot.jl

Software Authors:   Innes M
Referenced in: 0 Publications
Related Software: Distributions.jl; SciPy; Mamba; Bridge.jl; JuliaSmoothOptimizers; QuantEcon.jl; …
Main Fields:

ProBO

Software Authors:   Willie Neiswanger, Kirthevasan Kandasamy, Barnabas Poczos, Jeff Schneider, Eric Xing
Referenced in: 1 Publication (2020)
Related Software: Hyperband; DARTS; GPyOpt; Dragonfly; SMAC; Hyperopt; …
Main Fields: Computer science (68-XX)

ProPPR

Software Authors:   William Yang Wang; Kathryn Mazaitis; William W. Cohen
Referenced in: 1 Publication (2020)
Related Software: TensorLog; Adam; TensorFlow; Church; ProbLog; SciPy; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PyAutoFit

Software Authors:   James. W. Nightingale, Richard G. Hayes, Matthew Griffiths
Referenced in: 0 Publications
Related Software: emcee; PyMultiNest; NumPy; Numba; Matplotlib; dynesty; …
Main Fields:

Pymc-learn

Software Authors:   Daniel Emaasit
Referenced in: 0 Publications
Related Software: PyMC; Theano; Scikit; Python
Main Fields:

QASM

Software Authors:   Tavares, Carlos
Referenced in: 1 Publication (2020)
Related Software: openQASM
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

Quasi-Borel Spaces

Software Authors:   Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato
Referenced in: 1 Publication (2017)
Related Software: Venture; Church
Main Fields: Category theory; homological algebra (18-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

RankPL

Software Authors:   Rienstra, Tjitze
Referenced in: 1 Publication (2017)
Related Software: Figaro; Venture; Church
Main Fields: Computer science (68-XX)

SOSS.jl

Software Authors:   Scherrer C
Referenced in: 0 Publications
Related Software: Distributions.jl; SciPy; Mamba; Bridge.jl; JuliaSmoothOptimizers; QuantEcon.jl; …
Main Fields:

Storm

Software Authors:   Saikat Dutta; Wenxian Zhang; Zixin Huang; Sasa Misailovic
Referenced in: 0 Publications
Related Software: AUTOTRAINER; DeepTest; Theano; CRADLE; DeepXplore; TensorFuzz; …
Main Fields:

Swift

Software Authors:   Yi Wu, Lei Li, Stuart Russell, Rastislav Bodik
Referenced in: 0 Publications
Related Software: BUGS; Venture; Church; Lasagne; Keras; Stan; …
Main Fields:

Symbulate

Software Authors:   Ross, Kevin; Sun, Dennis L.
Referenced in: 0 Publications
Related Software: Statsmodels; R; Scikit; Matplotlib; Python; salmon
Main Fields:

Yaps

Software Authors:   Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar
Referenced in: 0 Publications
Related Software: Pyro; Tangent; NumPy; PyMC; Jupyter; Matplotlib; …
Main Fields:

ZhuSuan

Software Authors:   Jiaxin Shi, Jianfei Chen, Jun Zhu, Shengyang Sun, Yucen Luo, Yihong Gu, Yuhao Zhou
Referenced in: 0 Publications
Related Software: Edward; Lasagne; Stan; Theano; TensorFlow; Python
Main Fields:

DeepProbLog

Software Authors:   Robin Manhaeve, Sebastijan Dumančić, Angelika Kimmig, Thomas Demeester, Luc De Raedt
Referenced in: 0 Publications
Related Software:
Main Fields:

delSAT

Software Authors:   Matthias Nickles
Referenced in: 0 Publications
Related Software:
Main Fields:

SimEnv

Software Authors:   Michael Flechsig; Uwe Böhm; Thomas Nocke; Claus Rachimow
Referenced in: 0 Publications
Related Software:
Main Fields:

tfp.mcmc

Software Authors:   Junpeng Lao, Christopher Suter, Ian Langmore, Cyril Chimisov, Ashish Saxena, Pavel Sountsov, Dave Moore, Rif A. Saurous, Matthew D. Hoffman, Joshua V. Dillon
Referenced in: 0 Publications
Related Software:
Main Fields:

WebPPL

Software Authors:   N. D. Goodman; A. Stuhlmüller
Referenced in: 0 Publications
Related Software:
Main Fields: