符号计算

最近提交的作者和标题

• 2025年07月23日， 星期三
• 2025年07月22日， 星期二
• 2025年07月21日， 星期一
• 2025年07月18日， 星期五
• 2025年07月17日， 星期四

查看今天的 新的 变化

2025年07月17日， 星期四 (展示 2 之 2 条目 )

[5] arXiv:2507.12366 (交叉列表自 cs.SC) [中文pdf, pdf, html, 其他]

标题： FactorHD：一种用于多目标多类表示和分解的超维计算模型 显示英文标题

标题： FactorHD: A Hyperdimensional Computing Model for Multi-Object Multi-Class Representation and Factorization

Yifei Zhou, Xuchu Huang, Chenyu Ni, Min Zhou, Zheyu Yan, Xunzhao Yin, Cheng Zhuo

评论： 7页，5图，2表，将发表在第62届DAC（设计自动化会议）论文集中

主题： 符号计算 (cs.SC) ; 人工智能 (cs.AI) ; 计算机视觉与模式识别 (cs.CV)

[6] arXiv:2507.11987 (交叉列表自 cs.SC) [中文pdf, pdf, html, 其他]

标题： 动态神经证书的形式化验证 显示英文标题

标题： Formal Verification of Neural Certificates Done Dynamically

Thomas A. Henzinger, Konstantin Kueffner, Emily Yu

评论： 已被RV'25接受

主题： 符号计算 (cs.SC) ; 人工智能 (cs.AI)