BriefGPT.xyz
Ask
alpha
关键词
type theory
搜索结果 - 4
ICML
类型理论在人类学习和推理中的应用
该研究提出类型理论是理解人类如何进行新颖问题思考、解释和猜测的核心组成部分，并以三个实证性观察来证明这一观点：学习和推论的自适应性限制、人们在不可能性和不太可能性之间区分的能力以及人类在不同层次的抽象概念上进行推理的能力。
PDF
2 years ago
函数式编码构建遗传编程
研究了一种基于遗传编程的编程合成方法，利用反射和一级规范来支持进化可能使用任意数据类型、多态和现有代码库中的函数的程序，使用 Hindley-Milner 类型系统可以演化类型安全的程序，并将性能与其他现代遗传编程方法进行比较。
PDF
2 years ago
一种元概率编程语言，用于概率和非良基础类型系统的双模拟
我们引入了一个正式的元语言来进行概率编程，旨在让 AGI 不仅学习相关知识（程序 / 证明），而且学习适当的推理方式（逻辑 / 类型系统）。我们利用立方型类型理论和依赖类型元图的框架来形式化我们的方法。通过这样做，我们展示了元语言中的特定构
→
PDF
2 years ago
计算高阶类型理论 I: 抽象立方实现
本文探讨了构造基础数学的概念以及基于马丁 - 勒夫的含义阐释的构造类型理论，通过电脑程序语言提供了一种可行的理论意义解释并解释了更高维的类型理论，并提供了完整的计算公式以证明该理论。
PDF
8 years ago
Prev
Next