×

哈卡鲁

swMATH标识: 14669
软件作者: 纳拉亚南,普拉文;卡莱特,雅克;罗曼诺,鹪鹩;单,钟渐;辛科夫,罗伯特
说明: Hakaru(系统描述)中程序变换的概率推理。我们提出了一个新的概率编程系统Hakaru,它允许分布、查询和推理算法的可组合重用,所有这些都用一种度量语言表示。该系统实现了两个自动的、语义保持的程序转换{it decomposition}(计算条件分布)和{it simplification}(包含计算机代数的精确推理)。通过描述Hakaru用户在两个小问题上的理想工作流程,我们展示了这些特性是如何协同工作的。我们在设计和实现中强调转换和类型的组合。
主页: https://github.com/hakaru-dev/hakaru
源代码: https://github.com/hakaru-dev/hakaru
相关软件: 冒险;教堂;斯坦;伊德里斯;瘦身;数学方案;阿格达;霍尔灯;枫木;费加罗;github;推断.NET;温伯格
引用于: 4种出版物

在0系列中引用

按年份列出的引文