Symbolic Computation

Authors and titles for recent submissions

• Fri, 21 Jun 2024
• Wed, 19 Jun 2024
• Tue, 18 Jun 2024
• Mon, 17 Jun 2024
• Fri, 14 Jun 2024

See today's new changes

Fri, 21 Jun 2024 (showing 1 of 1 entries )

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

Title: VeriFlow: Modeling Distributions for Neural Network Verification

Faried Abu Zaid, Daniel Neider, Mustafa Yalçıner

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

Wed, 19 Jun 2024

No updates for this time period.

Tue, 18 Jun 2024 (showing 1 of 1 entries )

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

Title: The Liouville Generator for Producing Integrable Expressions

Rashid Barket, Matthew England, Jürgen Gerhard

Comments: To appear in proc. CASC (2024)

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

Mon, 17 Jun 2024 (showing 2 of 2 entries )

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

Title: Neural Concept Binder

Wolfgang Stammer, Antonia Wüst, David Steinmann, Kristian Kersting

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

[4] arXiv:2406.09857 (cross-list from cs.CG) [pdf, other]

Title: Sparse Tensors and Subdivision Methods for Finding the Zero Set of Polynomial Equations

Guillaume Moroz (GAMBLE)

Journal-ref: Computer Algebra in Scientific Computing, Sep 2024, Rennes, France

Subjects: Computational Geometry (cs.CG); Symbolic Computation (cs.SC); Numerical Analysis (math.NA)

Fri, 14 Jun 2024 (showing 1 of 1 entries )

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

Title: A Symbolic Computing Perspective on Software Systems

Arthur C. Norman, Stephen M. Watt

Subjects: Symbolic Computation (cs.SC); Mathematical Software (cs.MS); Software Engineering (cs.SE)