· ai
[Paper] 贝叶斯符号回归 via 后验采样
Symbolic regression 是一种强大的工具，可直接从数据中发现控制方程，但其对噪声的敏感性阻碍了其更广泛的应用。Thi...
-
- · ai
[Paper] 在多智能体环境中学习可控且多样的玩家行为
本文提出了一种强化学习框架，使得在不依赖人类游戏数据的情况下实现可控且多样的玩家行为。现有的...
- · ai
[Paper] 关于 LogSumExp 平滑近似最优性的简明证明
我们考虑在无穷范数下，对 (mathbb{R}^d) 中的（逐坐标）最大函数进行平滑化的设计。LogSumExp 函数 (f(x)=ln!left(sum_{i=1}^{d} exp(x_i)right)) ……
- · software
[Paper] Zorya：自动化 Concolic 执行单线程 Go 二进制文件
Go 在关键基础设施中的采用加剧了对系统化漏洞检测的需求，但现有的 symbolic execution 工具在处理 Go 二进制文件时仍面临困难。
- · ai
[Paper] LabelFusion：学习融合 LLMs 和 Transformer 分类器以实现稳健的文本分类
LabelFusion 是一种用于文本分类的融合集成模型，它学习将传统的基于 transformer 的分类器（例如 RoBERTa）与一个或多个 Larg...
- · ai
[Paper] FACTS Leaderboard：大语言模型事实性综合基准
我们推出 The FACTS Leaderboard，一个在线排行榜套件以及相关的一组基准测试，全面评估语言模型的能力。
- · ai
[Paper] 替换，而非扩展：通过固定预算证据组装缓解多跳 RAG 中的上下文稀释
检索增强生成（Retrieval‑Augmented Generation，RAG）系统在多跳查询时常常失败，尤其是当初始检索遗漏了桥接事实时。先前的纠正方法，例如 …
- · ai
[Paper] Script Gap：评估 LLM Triage 在真实世界环境中对印度语言的本土脚本与罗马脚本
大型语言模型（LLMs）正日益在印度的高风险临床应用中部署。在许多此类环境中，使用印度语言的说话者频繁……
- · devops
[Paper] TriHaRd：更高的弹性用于TEE可信时间
准确测量时间的流逝对许多应用至关重要。然而，在诸如 Intel SGX 的可信执行环境（TEEs）中，时间源是…
- · ai
[Paper] PACIFIC：一个用于生成基准以检查代码中精确自动检查指令遵循的框架
基于大型语言模型（LLM）的代码助手已经成为生成式 AI 的强大应用，展示了在代码生成方面的令人印象深刻的能力……
- · devops
[Paper] 跨链通信中多桥架构的成功证明与奖励分配协议
单桥区块链解决方案实现跨链通信。然而，它们伴随着中心化和单点故障风险。这篇...
- · ai
一种脉冲神经网络实现的高斯信念传播
贝叶斯推断提供了对自然主体信息处理的原理性解释。然而，神经机制如何执行 t...