Interactive Proofs for General Distribution Properties
假设 Alice 从未知分布中收集了少量样本，并且想了解该分布。鲍勃是一位不受信任的数据分析师，他声称已经对分布进行了复杂的数据分析，并对其属性做出了断言。 Alice 何时以及如何有效地验证 Bob 的声明（使用比自己运行分析所需的资源更少的资源）？我们为可以由有界深度电路决定的一般分布属性构建了交互式证明系统。取 N 为分布的上限...
如果函数的属性可以用函数中每个值出现的频率来表征，而不管每个值出现的位置如何，则该属性称为位置不变（或对称）。众所周知，测试函数位置不变属性的（查询）复杂性与测试相应分布（的相应属性）的（样本）复杂性密切相关。当前工作的主要信息是，这种密切关系并没有在验证的背景下维持。当考虑到......时这两者都成立
Sam Manekshaw 每日名言：Sam Manekshaw 的名言“领导力的首要属性是专业知识和专业能力”强调真正的领导力植根于专业知识和能力。它表明，有效的领导者不仅仅取决于级别或权威，还取决于他们对自己领域的深刻理解以及熟练和自信地应用这些知识的能力。
Context Engineering Isn’t Enough — A Loop Engineering Experiment With No LLM Inside the Loop
每个人都在谈论循环工程，但大多数讨论都假设法学硕士位于循环的中心。我想隔离架构本身。因此，我构建了一个确定性的、零依赖的 Python 基准测试，用简单的规则替换模型，使我能够直接衡量一个问题：目标导向控制器能否比传统线性管道更好地隔离故障？在验证了 300 个随机种子的基准测试并修复了一个最初使我自己的结果无效的微妙错误之后，我发现控制器始终完成了线性执行器从未达到的独立分支。本文介绍了架构、基准测试设计、调试过程以及一个狭隘但实用的主张背后的证据：故障隔离是控制流的一个可测量属性，与 LLM 推理无关。后语境工程还不够——循环内没有 LLM 的循环工程实验首先出现在《走向数据科学》上。
Doubly Sub-linear Interactive Proofs of Proximity
我们研究双次线性交互式邻近证明（dsIPP）：生成速度超快的证明，可用于证明有关巨大输入的近似断言。证明生成速度超快，因为它只需要读取输入的一小部分（亚线性）。证明的近似验证甚至更快（读取输入的更小部分）。与属性测试文献类似，近似验证意味着亚线性时间诚实证明者可以使验证者接受属性中的每个输入，但没有证明者可以欺骗验证者......
斯塔克文本的中心论点是，观察到的比率仅仅是历史事实，而概率是建模数据生成过程的属性。混淆两者是一个根本性错误，会对我们如何理解世界和做出决策产生严重后果。将缺乏知识视为一种概率会导致 [...]
我在斯拉法中心有一份新的工作文件。摘要如下： 摘要：本文介绍了工资边界递减的租金模型的例子；在给定的利润率下，采用独特的、方形的成本最小化技术；但没有工资最大化属性。突出显示了异常切换点，其中异常切换点具有与流动资本模型中的通用切换点相反的属性。本文提出了沿着单个工资曲线的切换点的数值示例，没有其他工资曲线在切换点相交。其他数值示例是切换点，其中在切换点处的成本最小化技术之间只有规模而不是操作的过程发生变化。提出了一个虚假的切换点，其中价格仅针对非成本最小化技术下的商品（也称为幽灵商品）变化。
Stein’s Paradox — a lesson on precision and unbiasedness
在统计理论中，估计量的两个最基本的属性是无偏性和效率（精度）。无偏性意味着估计量的期望值等于真实总体参数。相反，精度是指估计量的方差，它衡量个体估计值围绕其均值的分散程度。一个常见的误解认为理想的估计器 [...]
Instability, A Problem For The Theory Of Supply And Demand
一般均衡理论（GET）是供求理论最严格、最发达的版本。半个多世纪前，经济学家发现 GET 并不支持许多经济学家仍在讲述的故事。（实验经济学家已经验证了斯卡夫的不稳定性例子。）富兰克林·费舍尔是这个主题的权威。“然而，均衡分析的力量和优雅常常掩盖了它建立在一个非常不确定的基础上。我们没有同样优雅的理论来说明失衡时会发生什么，以及代理人在计划受挫时如何表现。因此，我们没有严格的基础除非人们剥夺了词语的意义，并将世界上的每一种状态定义为“均衡”，即代理人做他们所做的事情而不是做其他事情，否则就无法掩盖这样的事实：这是经济分析中的一个重大缺陷。这个缺陷不仅仅在微观经济学中很重要，例如，凯恩斯主义的问题
GAO 的发现政府财政账户符号调整试算表系统 (GTAS) 是联邦机构用来提交政府财务报告标准化数据的中央平台。 GTAS 收集预算和专有数据；验证它们；并与其他联邦系统接口，以支持透明度、问责制和财政监督。联邦法律，包括 1990 年《首席财务官法案》、1996 年《联邦财务管理改进法案》和 2014 年《数字问责和透明度法案》（DATA 法案），要求各机构报告标准化财务数据。这些法律将实施责任分配给管理和预算办公室 (OMB) 和财政部，后者发布预算制定指南、GTAS 报告程序技术说明、美国标准总账人行横道和属性要求。该指南共同管理各机构如何完成各种会计、验证和报告程序。通过手动和自动界面
Defining Autonomy for Wellness Robots in Senior Care
研究社交辅助健康机器人如何支持老年人健康的七个维度，以及框架如何衡量其自主性。与会者将了解为什么老年人护理危机超过了增量自动化。人口压力、劳动力短缺以及日常健康计划缺口都给传统护理模式带来压力。健康机器人是一个类别的定义。 ICAA 的七个健康维度和八个属性将这些机器人与伴侣和医疗设备区分开来。如何使用 CRAS 来衡量自主性。这个六级量表以 SAEJ3016 驾驶标准为蓝本，评估四个护理维度。什么映射了完全自动驾驶的道路。本文探讨了技术能力、临床证据以及 2030 年代初的三阶段路线图。立即下载这份免费白皮书！
