· ai
[Paper] 基于模型的诊断与多重观测：面向 C 软件和布尔电路的统一方法
调试是软件开发和电路设计中最耗时、最昂贵的任务之一。几种基于公式的故障定位（FBFL）方法……
-
- · ai
[Paper] 快速解码扩散语言模型通过进度感知置信调度
Diffusion 大语言模型（dLLMs）提供了一种有前景的 autoregressive 模型替代方案，但其实际效用因生成缓慢、迭代……
- · ai
[Paper] OptPO：测试时策略优化的最优 Rollout 分配
Test-time policy optimization 使大语言模型（LLMs）能够通过利用自生成 rollouts 的反馈来适应 distribution shifts。然而，...
- · ai
[Paper] 并行思考，统一回答：Logit Averaging for 开放式推理
多数投票已被证明在封闭式问答中通过聚合并行推理轨迹而有效。然而，它并不直接适用于开放式……
- · ai
[Paper] 孟加拉语仇恨言论分类：使用微调的Transformer模型
在低资源语言中，hate speech 识别仍然是一个困难的问题，原因是数据集不足、正字法异质性以及语言多样性。
- · devops
[Paper] 在 OLCF 设计 FAIR 工作流：构建可扩展且可重用的 HPC 科学生态系统
高性能计算 (HPC) 中心提供先进的基础设施，使得在极大规模上进行科学研究成为可能。这些中心使用硬件 …
- · software
[Paper] 面向 Observation Lakehouses：活的、交互式软件行为档案
代码生成型 LLM 主要在静态工件（源代码、注释、规范）上进行训练，几乎不涉及运行时行为的具体化。因此……
- · ai
[Paper] 探索 Sonic Measurement Spaces 中质量与多样性的定义
数字声音合成提供了探索包含数百万种配置的庞大参数空间的机会。质量多样性（QD）进化算法……
- · software
[Paper] “你能感受到氛围吗？”：对新手程序员参与 vibe coding 的探索
在生成式 AI 以及更广泛的 AI 辅助编码趋势的推动下，‘vibe coding’ 这一术语指的是通过自然语言提示来创建软件的过程……
- · software
[Paper] 数据科学项目中风险管理方法论的综合分析
数据科学项目经常表现出高失败率，这主要是由技术限制、组织局限以及风险管理实践不足所驱动的。
- · ai
[Paper] 在迁移代码库之前，SME对Software Product Line Engineering感知的实证评估
将一组软件变体迁移到软件产品线（SPL）是一项昂贵且可能具有挑战性的工作。事实上，SPL 工程可以显著……
- · devops
[Paper] 分布式和自律的最小生成树
在分布式系统中，使进程广播消息的最常见策略是一对全（one-to-all）通信。然而，这种方法不可伸缩……