符号计算

最近提交的作者和标题

• 2025年07月30日， 星期三
• 2025年07月29日， 星期二
• 2025年07月28日， 星期一
• 2025年07月25日， 星期五
• 2025年07月24日， 星期四

查看今天的 新的 变化

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

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

标题： 概率主动目标识别 显示英文标题

标题： Probabilistic Active Goal Recognition

Chenyuan Zhang, Cristian Rojas Cardenas, Hamid Rezatofighi, Mor Vered, Buser Say

评论： 被KR2025接受

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

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

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

标题： 二元多项式矩阵的Smith标准型 显示英文标题

标题： Smith normal forms of bivariate polynomial matrices

Dong Lu, Dingkang Wang, Fanghui Xiao, Xiaopeng Zheng

评论： 16页

主题： 符号计算 (cs.SC) ; 环与代数 (math.RA)

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

标题： 回收代数证明证书 显示英文标题

标题： Recycling Algebraic Proof Certificates

Daniela Kaufmann, Clemens Hofstadler

评论： 6页；2图；1表

主题： 符号计算 (cs.SC)

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

标题： 用语言表达，用逻辑思考：问答系统中的双进程框架 显示英文标题

标题： Speaking in Words, Thinking in Logic: A Dual-Process Framework in QA Systems

Tuan Bui, Trong Le, Phat Thai, Sang Nguyen, Minh Hua, Ngan Pham, Thang Bui, Tho Quan

评论： 8页，3图。被国际联合神经网络会议（IJCNN）2025年神经符号人工智能可信性与可靠性研讨会接收。https://2025.ijcnn.org

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

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

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

标题： SpeechIQ：语音理解大语言模型中不同认知层次的语音智能商 显示英文标题

标题： SpeechIQ: Speech Intelligence Quotient Across Cognitive Levels in Voice Understanding Large Language Models

Zhen Wan, Chao-Han Huck Yang, Yahan Yu, Jinchuan Tian, Sheng Li, Ke Hu, Zhehuai Chen, Shinji Watanabe, Fei Cheng, Chenhui Chu, Sadao Kurohashi

评论： 我们的Speech-IQ排行榜将托管在huggingface.co/spaces/nvidia/Speech-IQ-leaderboard。ACL 2025主会议

主题： 计算与语言 (cs.CL) ; 人工智能 (cs.AI) ; 符号计算 (cs.SC) ; 声音 (cs.SD) ; 音频与语音处理 (eess.AS)

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

标题： 使用 RTL 书籍自动证明乘法器加法树 显示英文标题

标题： On Automating Proofs of Multiplier Adder Trees using the RTL Books

Mayank Manjrekar (Arm Inc.)

评论： 在ACL2 2025会议论文集中，arXiv:2507.18567

期刊参考： EPTCS 423，2025，第51-55页

主题： 计算机科学中的逻辑 (cs.LO) ; 符号计算 (cs.SC)

2025年07月25日， 星期五

此时间段没有更新。

2025年07月24日， 星期四

此时间段没有更新。