We gratefully acknowledge support from
the Simons Foundation and member institutions.

Symbolic Computation

Authors and titles for recent submissions

[ total of 14 entries: 1-14 ]
[ showing up to 25 entries per page: fewer | more ]

Tue, 12 May 2026

[1]  arXiv:2605.10327 (cross-list from quant-ph) [pdf, ps, other]
Title: SCALAR: A Neurosymbolic Framework for Automated Conjecture and Reasoning in Quantum Circuit Analysis
Authors: Sean Feeney, Pooja Rao, Andreas Klappenecker, Reuben Tate, Yuri Alexeev, Stefano Mensa, Elica Kyoseva, Stephan Eidenbenz
Subjects: Quantum Physics (quant-ph); Artificial Intelligence (cs.AI); Symbolic Computation (cs.SC)
[2]  arXiv:2605.09696 (cross-list from cs.LG) [pdf, ps, other]
Title: Discovery of Nonlinear Dynamics with Automated Basis Function Generation
Authors: Mohammad Amin Basiri, Charles Nicholson
Comments: 53 pages, 17 figures. Code available at this https URL
Subjects: Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Symbolic Computation (cs.SC)
[3]  arXiv:2605.09286 (cross-list from math.AC) [pdf, ps, other]
Title: Matrix equivalence to Smith normal form: new theoretical results for multivariate polynomial matrices
Authors: Dong Lu, Yuanyuan Ruan, Dingkang Wang, Fanghui Xiao
Subjects: Commutative Algebra (math.AC); Symbolic Computation (cs.SC)

Mon, 11 May 2026

[4]  arXiv:2605.07128 [pdf, ps, other]
Title: Relating the Computational and Logical Difficulty of Solving ODEs: From Polynomial to Discontinuous Right-Hand Sides
Authors: Olivier Bournez, Alonso Núñez
Subjects: Symbolic Computation (cs.SC); Computational Complexity (cs.CC); Logic (math.LO)
[5]  arXiv:2605.07784 (cross-list from cs.DS) [pdf, ps, other]
Title: Computing bases in Hermite normal form of lattices of integer relations
Authors: George Labahn, Arne Storjohann
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Symbolic Computation (cs.SC); Rings and Algebras (math.RA)
[6]  arXiv:2605.07323 (cross-list from cs.AI) [pdf, ps, other]
Title: Discovering Ordinary Differential Equations with LLM-Based Qualitative and Quantitative Evaluation
Authors: Sum Kyun Song, Bong Gyun Shin, Jae Yong Lee
Comments: Accepted at ICML 2026
Journal-ref: International Conference on Machine Learning 2026
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Symbolic Computation (cs.SC)

Thu, 7 May 2026

[7]  arXiv:2605.04978 [pdf, ps, other]
Title: Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability
Authors: Harry Desmond
Comments: 26 pages, 2 figures; to be submitted to the Journal of Symbolic Computation
Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO)
[8]  arXiv:2605.04718 [pdf, ps, other]
Title: On Minimum CADs for Algebraic Sets in Dimension Three
Authors: Lucas Michel
Comments: Accepted for publication in the Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC '26)
Subjects: Symbolic Computation (cs.SC); Algebraic Geometry (math.AG)
[9]  arXiv:2605.04916 (cross-list from cs.AI) [pdf, ps, other]
Title: A Foundation Model for Zero-Shot Logical Rule Induction
Authors: Yin Jun Phua
Comments: Camera-ready version accepted at IJCAI 2026, with full appendices
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Symbolic Computation (cs.SC)
[10]  arXiv:2605.04622 (cross-list from cs.LG) [pdf, ps, other]
Title: Library learning with e-graphs on jazz harmony
Authors: Zeng Ren, Maddy Bowers, Xinyi Guan, Martin Rohrmeier
Comments: 10 pages, 7 figures, 2 listings, 1 table, no conference
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Symbolic Computation (cs.SC)
[11]  arXiv:2605.04330 (cross-list from cs.AI) [pdf, ps, other]
Title: The Scaling Properties of Implicit Deductive Reasoning in Transformers
Authors: Enrico Vompa, Tanel Tammet
Comments: preprint
Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

Wed, 6 May 2026

[12]  arXiv:2605.03464 [pdf, ps, other]
Title: Asymptotic properties of random monomial ideals
Authors: Fatemeh Mohammadi, Sonja Petrović, Eduardo Sáenz-de-Cabezón
Journal-ref: ISSAC 2026
Subjects: Symbolic Computation (cs.SC); Commutative Algebra (math.AC); Combinatorics (math.CO)
[13]  arXiv:2605.03492 (cross-list from cs.CR) [pdf, ps, other]
Title: From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
Authors: Karolina Gorna, Nicolas Iooss, Yannick Seurin, Rida Khatoun, Keith Makan
Comments: Preprint. Accepted in the 30th ACM International Conference on Evaluation and Assessment in Software Engineering (EASE 2026)
Subjects: Cryptography and Security (cs.CR); Symbolic Computation (cs.SC); Software Engineering (cs.SE)

Fri, 1 May 2026

[14]  arXiv:2604.27806 [pdf, ps, other]
Title: A Generalisation of Goursat's Algorithm for Integration in Finite Terms
Authors: Sam Blake
Subjects: Symbolic Computation (cs.SC)
[ total of 14 entries: 1-14 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2605, contact, help  (Access key information)