arXivDaily arXiv每日学术速递 周一至周五更新

AI 大模型

大模型推理能力

大模型数学、逻辑、规划、多步推理和测试时计算能力。

2026-07-31 至 2026-07-31 共收录 127 信号源:cs.CL, cs.AI, cs.LG

1. 其他推理 13 篇

2607.27923 2026-07-31 cs.SE 新提交 50%

The Case for Vibe Modeling: A Missing Step in AI-Based Trustworthy Software Development

氛围建模的必要性:基于AI的可信软件开发中缺失的一环

Shalini Chakraborty, Michael Mittermaier, Judith Michael

专题命中 其他推理 :reasoning(abstract)

AI总结 本文提出在AI辅助软件开发中引入氛围建模作为轻量中间抽象,通过学生调查验证其在提升LLM输出理解、降低验证工作量及增强信任方面的潜力,为可信AI软件工程研究提供方向。

Comments 7 pages, 1 figure

详情

展开后加载摘要…

URL PDF HTML 收藏
2607.27789 2026-07-31 cs.IR 新提交 50%

From Understanding to Action: Feedback-Grounded Policy Discovery for Generative Recommendation

从理解到行动:面向生成式推荐的反馈驱动策略发现

Zhi Chen, Minmao Wang, Xingchen Liu, Haoqiang Liang, Huihuang Lin, Likang Wu, Hongke Zhao, Yulong Wang, Shijie Yi, Fei Pan, Peng Jiang

专题命中 其他推理 :reasoning(abstract)

AI总结 该研究针对生成式推荐的“理解-行动差距”,提出反馈驱动智能体框架,经蒸馏迁移至轻量模型实现无LLM在线推理,在基准测试与在线A/B测试中均取得推荐效果提升。

详情

展开后加载摘要…

URL PDF HTML 收藏
2607.27776 2026-07-31 cs.CR 新提交 50%

CHARGE: Leveraging CWE Hierarchies for Hardware Security SystemVerilog Assertion Generation

CHARGE:利用CWE层次结构生成硬件安全SystemVerilog断言

Xiao Tan, Cynthia Sturton

专题命中 其他推理 :reasoning(abstract)

AI总结 CHARGE是利用CWE层次结构和LLM生成硬件安全SVA的自动化框架,在Hack@DAC系列SoC设计中检测到多个已知与新错误,生成的SVA具备较高有效性。

Comments This paper is an extended version of the paper accepted to the IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2026)

详情

展开后加载摘要…

URL PDF HTML 收藏
2607.27700 2026-07-31 cs.CV 新提交 50%

Calibrate Before Reason: Robust Visual Token Reduction against Semantic Drift in VLMs

推理前校准:针对视觉语言模型中语义漂移的鲁棒视觉令牌缩减

Jiasheng Li, Zhong Ji, Yan Zhang, Huihui Li

专题命中 其他推理 :reasoning(abstract)

AI总结 该研究针对VLMs的语义漂移问题,提出无训练的CaRe框架,通过两个互补模块校准视觉表示,在剪枝94.4%视觉令牌时保留96.4%原性能,使推理速度提升最高2.30倍。

详情

展开后加载摘要…

URL PDF HTML 收藏
2607.27682 2026-07-31 cs.IR 新提交 50%

Restoring Collaborative Signals in Semantic-ID Generative Recommendation via Personalized Natural Language

通过个性化自然语言恢复语义-ID生成式推荐中的协同信号

Changjiang Han, Qingyang Li, Yaqiang Zang, Jikun Kang, Pinghua Gong, Xue Liu, Bowei He

专题命中 其他推理 :reasoning(abstract)

AI总结 该研究针对基于LLM的生成式推荐模型中SID丢失协同信号导致准确率受限的问题,提出个性化自然语言引导的框架,通过添加分层协同线索恢复信号,提升推荐准确率。

Comments 8 pages, 4 figures

详情

展开后加载摘要…

URL PDF HTML 收藏
2607.27456 2026-07-31 cs.GT cs.FL 新提交 50%

Multi-Player Discrete-Bidding Games; Determinacy, Equilibria, and Complexity

多人离散出价博弈:确定性、均衡性与复杂性

Guy Avni, Fatima Murra

专题命中 其他推理 :reasoning(abstract)

AI总结 本文研究多人离散出价博弈,证明其在温和假设下具有确定性,均值收益博弈存在值,定性博弈存在纯纳什均衡,且可达性博弈中判断联盟获胜的问题为PSPACE-hard。

详情

展开后加载摘要…

URL PDF HTML 收藏
2604.10345 2026-07-31 cs.SE 版本更新 50%

Recovering Fine-Grained Code Change Rationale from Multiple Software Artifacts

细粒度多文档提取与代码变更理由生成

Mehedi Sun, Antu Saha, Nadeeshan De Silva, Antonio Mastropaolo, Oscar Chaparro

专题命中 其他推理 :reasoning(abstract)

AI总结 本文研究如何从多个文档中提取代码变更理由,提出ARGUS方法,通过LLM生成简洁的变更理由摘要,提升代码理解和维护效率。

详情

展开后加载摘要…

URL PDF HTML 收藏