符号计算

最近提交的作者和标题

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

查看今天的 新的 变化

2025年07月23日， 星期三

此时间段没有更新。

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

[1] arXiv:2507.15665 (交叉列表自 math.CO) [中文pdf, pdf, html, 其他]

标题： 多米诺骨牌铺砌，非交叉格路和Koutschan-Krattenthaler-Schlosser行列式的子类 显示英文标题

标题： Domino tilings, nonintersecting lattice paths and subclasses of Koutschan-Krattenthaler-Schlosser determinants

Qipin Chen, Shane Chern, Atsuro Yoshida

主题： 组合数学 (math.CO) ; 符号计算 (cs.SC) ; 数论 (math.NT)

[2] arXiv:2507.15449 (交叉列表自 cs.CR) [中文pdf, pdf, html, 其他]

标题： 对多变量CCZ方案的密码分析 显示英文标题

标题： Cryptanalysis of a multivariate CCZ scheme

Alessio Caminata, Elisa Gorla, Madison Mabe, Martina Vigorito, Irene Villa

评论： 欢迎！

主题： 密码学与安全 (cs.CR) ; 符号计算 (cs.SC)

2025年07月21日， 星期一 (展示 1 之 1 条目 )

[3] arXiv:2507.13550 (交叉列表自 cs.AI) [中文pdf, pdf, html, 其他]

标题： GOFAI 与生成式 AI：通过大型语言模型开发专家系统 显示英文标题

标题： GOFAI meets Generative AI: Development of Expert Systems by means of Large Language Models

Eduardo C. Garrido-Merchán, Cristina Puente

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

2025年07月18日， 星期五 (展示 1 之 1 条目 )

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

标题： 用于计算紧致域上莫尔斯函数的所有局部极小值点的概率算法 显示英文标题

标题： Probabilistic algorithm for computing all local minimizers of Morse functions on a compact domain

Mohab Safey El Din (PolSys), Georgy Scholten, Emmanuel Trélat (LJLL (UMR\_7598), CaGE)

主题： 符号计算 (cs.SC) ; 优化与控制 (math.OC)

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)