functional programming | BriefGPT

关键词functional programming

搜索结果 - 6

MDB：数据集和模型的交互式查询
MDB 是一个与功能编程和关系代数相结合的调试框架，可以构建数据库和模型预测的表达式查询，用于快速排除错误和发现模型行为。
PDFa year ago
贝叶斯推理的组合结构
本文研究 Bayesian 推理和马尔可夫核之间的关系，探讨了如何利用范畴论和函数编程的镜像模式将其组合成类型驱动的统计推断方法。
PDFa year ago
函数式编码构建遗传编程
研究了一种基于遗传编程的编程合成方法，利用反射和一级规范来支持进化可能使用任意数据类型、多态和现有代码库中的函数的程序，使用 Hindley-Milner 类型系统可以演化类型安全的程序，并将性能与其他现代遗传编程方法进行比较。
PDF2 years ago
MM利用可调用 PyTrees 和筛选变换在 JAX 中实现神经网络 Equinox
介绍了 Equinox，它是一种小型神经网络库，采用类似 PyTorch 的基于类的方法，同时使用 JAX-like 的函数编程，它通过 PyTree 和函数变换解决了 OO/functional 的差异而不需要引入新的程序抽象。
PDF3 years ago
MM基于类型 lambda 演算的交互式 shell 方案
本文介绍了 Favalon，一个基于 lambda 演算构建的函数式编程语言，用作交互式 shell 的替代品。Favalon 通过类型推理、灵活的运行时类型元数据和 shells 使用的相同技术，与现有库和命令的类型化版本无缝集成在一起。
PDF3 years ago
ICML强类型递归神经网络
本文从物理学和函数式编程中导入思想探讨了基于强类型的循环神经网络（RNN）模型设计问题，提出动态平均池化和一维卷积的简化语义解释。实验证明，虽然更加受限制，但基于强类型的 RNN 模型在训练时可以达到比传统模型更低的误差率和相当的泛化能力。
PDF8 years ago