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

Symbolic Computation

Authors and titles for recent submissions

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

Thu, 4 Dec 2025

[1]  arXiv:2512.03864 (cross-list from cs.LG) [pdf, ps, other]
Title: Hyperdimensional Computing for Sustainable Manufacturing: An Initial Assessment
Authors: Danny Hoang, Anandkumar Patel, Ruimen Chen, Rajiv Malhotra, Farhad Imani
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Performance (cs.PF); Symbolic Computation (cs.SC)

Wed, 3 Dec 2025

[2]  arXiv:2512.02898 (cross-list from cs.SE) [pdf, ps, other]
Title: Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
Authors: Pedro Orvalho, Marta Kwiatkowska, Mikoláš Janota, Vasco Manquinho
Comments: 50 pages, 9 figures, 6 tables, 5 listings
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

Tue, 2 Dec 2025

[3]  arXiv:2512.01467 (cross-list from cs.LG) [pdf, ps, other]
Title: Differentiable Weightless Controllers: Learning Logic Circuits for Continuous Control
Authors: Fabian Kresse, Christoph H. Lampert
Comments: 16 pages, 11 figures, 10 tables
Subjects: Machine Learning (cs.LG); Hardware Architecture (cs.AR); Symbolic Computation (cs.SC)
[4]  arXiv:2512.01355 (cross-list from math.AG) [pdf, ps, other]
Title: A priori bounds for certified Krawczyk homotopy tracking
Authors: Kisun Lee
Comments: 16 pages, 1 figure, 3 tables
Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC)

Thu, 27 Nov 2025

[5]  arXiv:2511.21509 (cross-list from cs.PL) [pdf, ps, other]
Title: SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
Authors: Dirk Beyer, Gidon Ernst, Martin Jonáš, Marian Lingsch-Rosenfeld
Subjects: Programming Languages (cs.PL); Symbolic Computation (cs.SC); Software Engineering (cs.SE)

Wed, 26 Nov 2025

[6]  arXiv:2511.20317 [pdf, ps, other]
Title: Fast Matrix Multiplication via Ternary Meta Flip Graphs
Authors: A. I. Perminov
Subjects: Symbolic Computation (cs.SC); Data Structures and Algorithms (cs.DS)
[ total of 6 entries: 1-6 ]
[ showing up to 10 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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