Symbolic Computation

Authors and titles for recent submissions

• Thu, 22 Oct 2026
• Wed, 21 Oct 2026
• Tue, 20 Oct 2026
• Mon, 19 Oct 2026
• Fri, 16 Oct 2026

See today's new changes

Thu, 22 Oct 2026 (showing 1 of 1 entries )

[1] arXiv:2610.28928 [pdf, html, other]

Title: An algorithmic construction of Nullstellensatz certificates for graph automorphism groups

Ivan Drecun

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

Wed, 21 Oct 2026 (showing 4 of 4 entries )

[2] arXiv:2610.28429 [pdf, html, other]

Title: Racer: Hunting GPU Kernel Bugs with Symbolic Equivalence Checking

Tuan Truong Vu, Cheng Tan

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

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

Title: OptScientist: Automated Discovery of Optimization Laws

Ma ZhenYao, Yue Liang, Jian-Qiao Zhu

Comments: Project website: this https URL

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Symbolic Computation (cs.SC); Econometrics (econ.EM); Optimization and Control (math.OC)

[4] arXiv:2610.27451 (cross-list from cs.MS) [pdf, html, other]

Title: A 55-Addition Rank-23 Scheme for $3\times3$ Matrix Multiplication via Exact Two-Sided Minimization

Greg Sidebottom

Comments: 11 pages. Artifacts (program, verifier, Lean 4 proof): this https URL source: this https URL

Subjects: Mathematical Software (cs.MS); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Symbolic Computation (cs.SC)

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

Title: Auditing Safety Preference Supervision with Recorded Derivations

Chenhan Lyu, Amir Rahmani

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

Tue, 20 Oct 2026 (showing 1 of 1 entries )

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

Title: When Are Monomial Symmetric Polynomials Hard?

Markus Bläser, Radu Curticapean, Sagnik Dutta, Gorav Jindal

Comments: 20 pages, 3 figures. Accepted at SODA 2027

Subjects: Computational Complexity (cs.CC); Symbolic Computation (cs.SC); Combinatorics (math.CO)

Mon, 19 Oct 2026 (showing 1 of 1 entries )

[7] arXiv:2610.22665 [pdf, html, other]

Title: Diverse Reasoning Paths Matter: Symbolic Equivalence Augmentation for Enhancing RL Exploration

Xiaoou Liu, Tiejin Chen, Hanyang Chen, Yuan Ling, Hua Wei

Comments: Accepted by 2026 AACL

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

Fri, 16 Oct 2026 (showing 1 of 1 entries )

[8] arXiv:2610.22251 (cross-list from math.AG) [pdf, html, other]

Title: Deterministic Determination of Axial Constants, Sectional Regularities and Annihilator Numbers

Amir Hashemi, Rozhin Sadr, Werner M. Seiler

Comments: 26 pages, submitted

Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC); Commutative Algebra (math.AC)