Models That Prove Their Own Correctness
我们如何才能相信学习模型对特定感兴趣输入的正确性？模型精度通常是根据输入分布的平均值来衡量的，不保证任何固定输入。本文针对这个问题提出了一个有理论基础的解决方案：训练自我证明模型，通过交互式证明向验证算法 V 证明其输出的正确性。自证明模型满足以下条件：对于从给定分布采样的输入，模型以高概率生成正确的输出并成功证明其对 V 的正确性。...
AI Is Not a Library: Designing for Nondeterministic Dependencies
在软件工程的大部分历史中，我们都是围绕一个简单而令人欣慰的假设构建系统：给定相同的输入，程序将产生相同的输出。当出现问题时，通常是由于错误、配置错误或依赖关系未按照宣传的方式运行。我们的工具、测试策略，甚至 [...]
An Algorithm Trace For The Truncation Of Fixed Capital
1.0 简介这篇文章回顾了我在不重新切换的情况下重复截断的示例。在这个示例中，技术的选择包括决定每个行业中机器的经济寿命。我提出了一种算法的应用，以在给定利润率的情况下找到成本最小化技术。该算法需要更多的阐述。算法的轨迹是穿过技术空间的动态路径。2.0 技术和技术我重复定义本节中示例的参数。表 1 和表 2 显示了公司经理已知的每个流程的输入和输出。例如，第一个流程的输入，在操作单元级别，包括 1/10 人年、1/16 蒲式耳玉米和一台新机器。一年后可用的输出是两台新机器和一台新机器。表 1：TechnologyInputIndustryMachineCornIIIIIIIVLabor1/10
Innovation Hurting Workers Or Capitalists
图 1：工资前沿是可行技术工资曲线的内层 1.0 简介这篇文章提出了 Kurz & Salvadori (1995) 第 10 章中家庭作业问题 7.13 的解决方案。他们将此问题归功于 Antonio D'Agata。我将其扩展到包括可忽略不计的工业商品，如我的包含租金、多种土地和多种农业的模型概要所示。商品。示例经济生产两种农产品：小麦和黑麦。如果只存在过程II和V，则每种商品只能在一种类型的土地上生产。在给定的最终需求和给定的土地禀赋下，没有土地会短缺，也没有地主可以获得租金。假设创新引入了新的流程 III 和 IV，以便每种商品都可以在每种类型的土地上生产。结果，利润率达到最大值的区间
Bourgeois Propaganda In The Teaching Of Economics
经济学家遵循一种长期流行的、无意义的理论，有一个概念，即“自然失业率”：“在任何时候，都有一定程度的失业率，它具有与实际工资率结构均衡相一致的特性。在这个失业率水平上，实际工资率平均会以“正常”的长期增长率上升……较高的失业率表明存在劳动力供给过剩，这将对实际工资产生下行压力。换句话说，“自然失业率”是瓦尔拉斯一般均衡方程组所得出的水平，前提是其中嵌入了劳动力和商品市场的实际结构特征……”——米尔顿·弗里德曼（Milton Friedman，1968），引自詹姆斯·K·加尔布雷斯（James K. Galbraith），《抛弃 NAIRU》的时间。这个定义有许多致命的问题。首先，瓦尔拉斯的长期
Self-Supervised Learning with Gaussian Processes
自监督学习 (SSL) 是一种机器学习范例，其中模型学习理解数据的底层结构，而无需来自标记样本的显式监督。从 SSL 获取的表示已被证明可用于许多下游任务，包括聚类和线性分类等。为了确保表示空间的平滑性，大多数 SSL 方法依赖于生成与给定实例相似的观察对的能力。然而，对于许多类型的数据来说，生成这些对可能具有挑战性。而且，这些方法缺乏考虑……
Two Dual Linear Programs (LPs) Equivalent To A Linear Complementarity Problem
1.0 简介在上一篇文章中，我将长期头寸的规范映射到 LCP。该规范是在不等式和等式系统方面的，并且采用适合应用直接方法来分析技术选择的形式。LCP 支持 Lemke 算法的应用。虽然我还没有逐步完成算法，但我终于理解了 Christian Bidard 的一些著作的一个方面。这篇文章修改了 LCP，使得 LCP 中的矩阵 M 具有某种对称性。有了这个公式，LCP就相当于双LP。据我所知，没有人写下这些双LP来分析LCP描述的特殊情况下的技术选择。2.0先前LCP的参数LCP的参数由列向量u和方阵M组成。其中LCP相当于长周期位置的规范，列向量如图1所示。列向量y表示对n个生产商品的给定最终需
The universe may be hiding a fundamentally unknowable quantum secret
即使给定宇宙一组可能的量子态，我们也不可能确定其中哪一个是正确的
SelfReflect: Can LLMs Communicate Their Internal Answer Distribution?
传达大型语言模型 (LLM) 不确定性的常见方法是在其响应中添加百分比数字或保护语。但这就是我们能做的一切吗？对用户完全透明的法学硕士需要能够反映其内部信念分布并输出其认为可能的所有选项及其可能性的摘要，而不是生成单个答案然后对其进行对冲。为了测试法学硕士是否具备这种能力，我们开发了 SelfReflect 指标，即给定摘要与答案分布之间的信息论距离。在...
The Choice Of Technique As A Linear Complementarity Problem
1.0 简介线性互补问题 (LCP) 具有众所周知的算法（其他人最少知道的算法）来解决它们。我特别感兴趣的是 Lemke 算法。我认为 ChristianBidard 或 Guido Erreygers 是第一个指出 Lemke 算法以这种方式应用于经济学的人。但我不知道他们在这篇文章中指定了细节。我经常需要逐步了解其他人认为显而易见的内容才能理解某些内容。2.0 线性互补问题 (LCP)表 1：LCPSymbolTypeDefinitionkParameterProblem 大小的参数和变量，称为 LCP 的阶数。MParameterA k x k 矩阵.uParameterA k 元素列向
