:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Rugaber, Spencer, Bunin, Scott, Hornback, Andrew, An, Sungeun, Goel, Ashok
Format:	Preprint
Published:	2025
Subjects:	Computers and Society Symbolic Computation
Online Access:	https://arxiv.org/abs/2510.16944
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Knowledge Graph Informing Soil Carbon Modeling
by: Shirvani-Mahdavi, Nasim, et al.
Published: (2025)

Green Computing: The Ultimate Carbon Destroyer for a Sustainable Future
by: Amiri, Sayed Mahbub Hasan, et al.
Published: (2025)

Using Java Geometry Expert as Guide in the Preparations for Math Contests
by: Ganglmayr, Ines, et al.
Published: (2024)

A4L: An Architecture for AI-Augmented Learning
by: Goel, Ashok, et al.
Published: (2025)

ELIZA Reanimated: The world's first chatbot restored on the world's first time sharing system
by: Lane, Rupert, et al.
Published: (2025)

EFO: the Emotion Frame Ontology
by: De Giorgis, Stefano, et al.
Published: (2024)

Evolution of A4L: A Data Architecture for AI-Augmented Learning
by: Thajchayapong, Ploy, et al.
Published: (2025)

Oyster-I: Beyond Refusal -- Constructive Safety Alignment for Responsible Language Models
by: Duan, Ranjie, et al.
Published: (2025)

Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis
by: Sinha, Sania, et al.
Published: (2025)

From Words to Worlds: Compositionality for Cognitive Architectures
by: Dhar, Ruchira, et al.
Published: (2024)

Reconciling Explanations in Multi-Model Systems through Probabilistic Argumentation
by: Hong, Shengxin, et al.
Published: (2024)

Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
by: Huang, Wei-Jia, et al.
Published: (2026)

Botfip-LLM: An Enhanced Multimodal Scientific Computing Framework Leveraging Knowledge Distillation from Large Language Models
by: Chen, Tianhao, et al.
Published: (2024)

Simulating Petri nets with Boolean Matrix Logic Programming
by: Ai, Lun, et al.
Published: (2024)

A Neuro-Symbolic Approach to Monitoring Salt Content in Food
by: Tayal, Anuja, et al.
Published: (2024)

Towards Practical Automatic Piano Reduction using BERT with Semi-supervised Learning
by: Wong, Wan Ki, et al.
Published: (2025)

Faster multivariate integration in D-modules
by: Brochet, Hadrien, et al.
Published: (2025)

Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations
by: Böhmer, Christian G., et al.
Published: (2025)

Consequences of the Moosbauer-Poole Algorithms
by: Kauers, Manuel, et al.
Published: (2025)

Deducing Closed-Form Expressions for Bright-Solitons in Strongly Magnetized Plasmas with Physics Informed Symbolic Regression (PISR)
by: Finkelstein, Edward
Published: (2025)

Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
by: Stübbe, Jonas, et al.
Published: (2025)

Telescoping Algorithms for $Σ^*$-Extensions via Complete Reductions
by: Chen, Shaoshi, et al.
Published: (2025)

More is Less: Adding Polynomials for Faster Explanations in NLSAT
by: Promies, Valentin, et al.
Published: (2025)

Generalized ODE reduction algorithm for bounded degree transformation
by: Huang, Shaoxuan
Published: (2025)

Generalized ODE reduction algorithm with bounded degree transformation
by: Huang, Shaoxuan
Published: (2025)

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
by: Nalbach, Jasper, et al.
Published: (2025)

An Algorithm for Computing the Leading Monomials of a Minimal Groebner Basis of Generic Sequences
by: Sakata, Kosuke, et al.
Published: (2025)

Symmetric Division of Linear Ordinary Differential Operators
by: Du, Lixin, et al.
Published: (2025)

The regular multivariate quadratic problem
by: Joux, Antoine, et al.
Published: (2025)

A Unified Reduction for Hypergeometric and q-Hypergeometric Creative Telescoping
by: Chen, Shaoshi, et al.
Published: (2025)

Frobenius method for Mahler equations
by: Roques, Julien
Published: (2025)

Flip Graphs with Symmetry and New Matrix Multiplication Schemes
by: Moosbauer, Jakob, et al.
Published: (2025)

On the Number of Real Types of Univariate Polynomials
by: Faroß, Nicolas, et al.
Published: (2025)

Exploring Commutative Matrix Multiplication Schemes via Flip Graphs
by: Wood, Isaac
Published: (2025)

Creative Telescoping
by: Chen, Shaoshi, et al.
Published: (2025)

Cooley-Tukey FFT over $\mathbb{Q}_p$ via Unramified Cyclotomic Extension
by: Kondo, Hiromasa
Published: (2025)

Advancing Symbolic Discovery on Unsupervised Data: A Pre-training Framework for Non-degenerate Implicit Equation Discovery
by: Yufei, Kuang, et al.
Published: (2025)

Flip Graphs for Polynomial Multiplication
by: Chen, Shaoshi, et al.
Published: (2025)

Refined bit complexity for the computation of at least onepoint per connected component of a smooth completeintersection real algebraic set
by: Elliott, Jesse, et al.
Published: (2025)

Projective Delineability for Single Cell Construction
by: Nalbach, Jasper, et al.
Published: (2025)