XiaoMi-AI文件搜索系统
World File Search System论证
FY2023-NIST-NTIS-Congressional-Budget-Submission.pdf
目录 附件页码 附件编号 2 组织结构图 NIST-1 3 执行摘要 NIST-3 4A 计划增加/减少/终止 NIST-5 科学技术研究与服务 5 资源需求摘要：直接义务 NIST-7 8 调整至基础 NIST-9 10-15 计划绩效论证、基础计划摘要和计划变更摘要 测量科学、服务和计划 实验室计划 10 计划和绩效：直接义务 NIST-11 12-15 基础计划摘要和计划变更摘要的论证 NIST-12 企业服务 10 计划和绩效：直接义务 NIST-77 12-15 基础计划摘要和计划变更摘要的论证 NIST-78 标准协调和特殊计划 10 计划和绩效：直接义务 NIST-81 12-15 基础摘要和计划变更摘要的论证 NIST-82 16-16A对象类别要求 NIST-103 33 拨款语言和代码引用 NIST-111 34 咨询和援助服务 NIST-114
FY2023-NIST-NTIS-国会预算提交.pdf
目录 附件页码 附件编号 2 组织结构图 NIST-1 3 执行摘要 NIST-3 4A 计划增加/减少/终止 NIST-5 科学技术研究与服务 5 资源需求摘要：直接义务 NIST-7 8 基础调整 NIST-9 10-15 计划绩效论证、基础计划摘要和计划变更摘要 测量科学、服务和计划 实验室计划 10 计划和绩效：直接义务 NIST-11 12-15 基础计划摘要和计划变更摘要的论证 NIST-12 企业服务 10 计划和绩效：直接义务 NIST-77 12-15 基础计划摘要和计划变更摘要的论证 NIST-78 标准协调和特殊计划 10 计划和绩效：直接义务 NIST-81 12-15 基础摘要和计划变更摘要的论证 NIST-82 16-16A 按对象划分的需求摘要类别 NIST-103 33 拨款语言和代码引用 NIST-111 34 咨询和援助服务 NIST-114
量子计算的简洁经典验证
我们为量子计算 (BQP) 构建了一个经典可验证的简洁交互式论证，其通信复杂度和验证器运行时间在 BQP 计算的运行时间内是多对数的（在安全参数中是多项式的）。我们的协议是安全的，假设不可区分混淆 (iO) 和带错学习 (LWE) 的后量子安全性。这是普通模型中量子计算的第一个简洁论证；先前的工作（Chia-Chung-Yamakawa，TCC '20）需要长公共参考字符串和非黑盒使用以随机预言机建模的哈希函数。在技术层面，我们重新审视了构建经典可验证量子计算的框架（Mahadev，FOCS '18）。我们为 Mahadev 的协议提供了一个独立的模块化安全性证明，我们认为这是独立的兴趣。我们的证明很容易推广到验证者的第一条消息（包含许多公钥）被压缩的场景。接下来，我们将压缩公钥的概念形式化；我们将对象视为受约束/可编程 PRF 的泛化，并基于不可区分性混淆对其进行实例化。最后，我们使用（足够可组合的）简洁的 NP 知识论证将上述协议编译成完全简洁的论证。使用我们的框架，我们实现了几个额外的结果，包括
ALJ/JF2/VUK/jnf 发布日期 2023 年 7 月 3 日 决定 23-06 ...
9.1. 明确 IOU 和非 IOU 项目实施的角色 ......................................................................................................................................85 9.2. JCM 流程和时间安排 ......................................................................................................................90 10. 公众意见摘要 ................................................................................................................................91 11. 总预算和收款授权及后续步骤 ......................................................................................................92 12. 对拟议决定的评论 ......................................................................................................................97 13. 程序分配 ......................................................................................................................................108 事实认定 .............................................................................................................................................108 法律结论 .............................................................................................................................................110 命令 .............................................................................................................................................119 附件 A：.............................................................................................................................................1 项目细分论证模板 .............................................................................................................1 附件 A：项目细分论证模板
您的AI代理会得到您吗？一个可从基于论点的对话轨迹近似人类模型的可靠框架
可解释的AI越来越多地采用论证方法来促进AI代理和人类用户之间的互动解释。虽然现有方法通常依赖于预定的人类用户模型，但在交互过程中动态学习和更新这些模型仍然存在一个关键的差距。在本文中，我们提出了一个框架，使AI代理可以通过基于论证的对话来调整对人类用户的理解。我们的方法称为角色，借鉴了前景理论，并将概率加权函数与贝叶斯信念更新机制相结合，该机制优化了基于交换论点的可能性人类模型的概率分布。通过与人类用户的经验评估在应用的论证环境中，我们证明了人物有效地捕捉人类信念不断发展的信念，促进个性化的侵入性，并胜过最先进的方法。
受限量子计算模型的力量
3 无法模拟的量子算法 23 3.1 量子至上论证. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ... 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 37
