一分钟读论文：《Proof-or-Stop：自主编码Agent的可验证证据门控机制》

一分钟读论文：《Proof-or-Stop：自主编码Agent的可验证证据门控机制》
Micropaper
Micropaper ·
mAceReason-Math：一个高质量的多语言数学问题数据集，支持强化学习与可验证奖励（RLVR）

mAceReason-Math：一个高质量的多语言数学问题数据集，支持强化学习与可验证奖励（RLVR）
Apple Machine Learning Research
Apple Machine Learning Research ·
大模型时代的开源：从开放代码到开放权重的演进

大模型时代的开源：从开放代码到开放权重的演进
云原生
云原生 ·

Arc Institute与加州大学合作开发的机器学习架构State，能够有效预测细胞在不同环境下的反应，准确率提高超过50%，尤其在基因表达识别方面表现突出。

AI论文周报丨1亿细胞数据建模/高效预测遗传轨迹/指令歧义破解/可验证奖励/高动态游戏生成，5大领域突破一文速览
HyperAI超神经
HyperAI超神经 ·
Viskify — 基于证据而非承诺的招聘，结合Permit.io驱动的RBAC和可验证凭证

Viskify — 基于证据而非承诺的招聘，结合Permit.io驱动的RBAC和可验证凭证
DEV Community
DEV Community ·

本研究提出了一种可验证的模型评估方法，使用zkSNARKs进行模型推理，生成计算证明以证明模型在公开输入上的性能或公平度量指标，解决了真实世界模型可验证评估的挑战，提供了新的透明度范式。

使用 zkSNARKs 进行机器学习模型的可验证评估
BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 ·

该文介绍了一种通过SATNet学习可解释逻辑规则的方法，实现了逻辑推理和深度学习的交互。该方法通过可区分性学习生成可解释和可验证的逻辑规则，并引入验证技术进行验证。

使用 SATNet 学习可靠的逻辑规则
BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 ·

随着数字化转型和互联网的发展，数据的生成、存储和流转场景也在增多。机密计算是一种计算模式，旨在保护数据的隐私和机密性。使用TEE硬件可以保护数据和程序的机密性和完整性，同时具备可验证的能力。未来TEE机密计算的一个探索方向是通过硬件来加强其计算能力。

洞见RSA 2023｜机密计算护航数据安全使用
绿盟科技技术博客
绿盟科技技术博客 ·
提高人工智能开发的可验证性

提高人工智能开发的可验证性
OpenAI
OpenAI ·
👤 个人中心
在公众号发送验证码完成验证