作为Python符号计算工具的MiniKanren
2020-10-20 13:30:46
下载PDF摘要：在本文中，我们简要概述了Python统计建模和机器学习社区中符号计算的现状和未来潜力。我们详细介绍了MiniKanren作为术语重写和符号数学的底层框架的使用，以及它协调使用现有Python库的能力。我们还讨论了关系编程对于实现更健壮的、可移植的、特定于领域的数学级别的优化的重要性和潜力--略微侧重于贝叶斯建模。最后，我们描述了下一步的工作，并对统计建模和程序设计语言理论之间的潜在交叉提出了一些看法。
来自：Brandon T.Willard[查看电子邮件][v1]Sun，2020 May 24 03：09：08 UTC(39 KB)[v2]Tue，2020 May 26日18：58：39 UTC(39 KB)[v3]清华，2020 May 28 20：41：06 UTC(40 KB)。
ArxivLabs是一个框架，允许合作者直接在我们的网站上开发和共享新的arxiv功能。
与arxivLabs合作的个人和组织都接受并接受了我们开放、社区、卓越和用户数据隐私的价值观。Arxiv致力于这些价值观，只与坚持这些价值观的合作伙伴合作。
你有一个为arxiv&39；社区增加价值的项目的想法吗？了解有关arxivLabs的更多信息以及如何参与其中。
书目工具代码推荐器
