Symbolic Computation

Authors and titles for recent submissions

• Fri, 1 Aug 2025
• Thu, 31 Jul 2025
• Wed, 30 Jul 2025
• Tue, 29 Jul 2025
• Mon, 28 Jul 2025

See today's new changes

Fri, 1 Aug 2025 (showing 1 of 1 entries )

[1] arXiv:2507.23557 (cross-list from math.CO) [pdf, other]

Title: Tree-indexed sums of Catalan numbers

Alin Bostan, Valentin Féray, Paul Thévenin

Comments: 62 pages, 8 figures

Subjects: Combinatorics (math.CO); Symbolic Computation (cs.SC); Probability (math.PR)

Thu, 31 Jul 2025 (showing 1 of 1 entries )

[2] arXiv:2507.22255 (cross-list from cs.LG) [pdf, html, other]

Title: Agent-centric learning: from external reward maximization to internal knowledge curation

Hanqi Zhou, Fryderyk Mantiuk, David G. Nagy, Charley M. Wu

Comments: RLC Finding the Frame Workshop 2025

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Symbolic Computation (cs.SC)

Wed, 30 Jul 2025 (showing 1 of 1 entries )

[3] arXiv:2507.21846 (cross-list from cs.AI) [pdf, html, other]

Title: Probabilistic Active Goal Recognition

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

Comments: Accepted by KR2025

Subjects: Artificial Intelligence (cs.AI); Symbolic Computation (cs.SC)

Tue, 29 Jul 2025 (showing 3 of 3 entries )

[4] arXiv:2507.20889 [pdf, other]

Title: Smith normal forms of bivariate polynomial matrices

Dong Lu, Dingkang Wang, Fanghui Xiao, Xiaopeng Zheng

Comments: 16 pages

Subjects: Symbolic Computation (cs.SC); Rings and Algebras (math.RA)

[5] arXiv:2507.20267 [pdf, html, other]

Title: Recycling Algebraic Proof Certificates

Daniela Kaufmann, Clemens Hofstadler

Comments: 6 pages; 2 figures; 1 table

Subjects: Symbolic Computation (cs.SC)

[6] arXiv:2507.20491 (cross-list from cs.CL) [pdf, html, other]

Title: 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

Comments: 8 pages, 3 figures. Accepted at the International Joint Conference on Neural Networks (IJCNN) 2025, Workshop on Trustworthiness and Reliability in Neuro-Symbolic AI. this https URL

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Symbolic Computation (cs.SC)

Mon, 28 Jul 2025 (showing 2 of 2 entries )

[7] arXiv:2507.19361 (cross-list from cs.CL) [pdf, html, other]

Title: 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

Comments: Our Speech-IQ leaderboard will be hosted at this http URL. ACL 2025 main

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Symbolic Computation (cs.SC); Sound (cs.SD); Audio and Speech Processing (eess.AS)

[8] arXiv:2507.19010 (cross-list from cs.LO) [pdf, other]

Title: On Automating Proofs of Multiplier Adder Trees using the RTL Books

Mayank Manjrekar (Arm Inc.)

Comments: In Proceedings ACL2 2025, arXiv:2507.18567

Journal-ref: EPTCS 423, 2025, pp. 51-55

Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)