Gespeichert in:
| Hauptverfasser: | Rugaber, Spencer, Bunin, Scott, Hornback, Andrew, An, Sungeun, Goel, Ashok |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2510.16944 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
A Knowledge Graph Informing Soil Carbon Modeling
von: Shirvani-Mahdavi, Nasim, et al.
Veröffentlicht: (2025)
von: Shirvani-Mahdavi, Nasim, et al.
Veröffentlicht: (2025)
Green Computing: The Ultimate Carbon Destroyer for a Sustainable Future
von: Amiri, Sayed Mahbub Hasan, et al.
Veröffentlicht: (2025)
von: Amiri, Sayed Mahbub Hasan, et al.
Veröffentlicht: (2025)
Using Java Geometry Expert as Guide in the Preparations for Math Contests
von: Ganglmayr, Ines, et al.
Veröffentlicht: (2024)
von: Ganglmayr, Ines, et al.
Veröffentlicht: (2024)
A4L: An Architecture for AI-Augmented Learning
von: Goel, Ashok, et al.
Veröffentlicht: (2025)
von: Goel, Ashok, et al.
Veröffentlicht: (2025)
ELIZA Reanimated: The world's first chatbot restored on the world's first time sharing system
von: Lane, Rupert, et al.
Veröffentlicht: (2025)
von: Lane, Rupert, et al.
Veröffentlicht: (2025)
EFO: the Emotion Frame Ontology
von: De Giorgis, Stefano, et al.
Veröffentlicht: (2024)
von: De Giorgis, Stefano, et al.
Veröffentlicht: (2024)
Evolution of A4L: A Data Architecture for AI-Augmented Learning
von: Thajchayapong, Ploy, et al.
Veröffentlicht: (2025)
von: Thajchayapong, Ploy, et al.
Veröffentlicht: (2025)
Oyster-I: Beyond Refusal -- Constructive Safety Alignment for Responsible Language Models
von: Duan, Ranjie, et al.
Veröffentlicht: (2025)
von: Duan, Ranjie, et al.
Veröffentlicht: (2025)
Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis
von: Sinha, Sania, et al.
Veröffentlicht: (2025)
von: Sinha, Sania, et al.
Veröffentlicht: (2025)
From Words to Worlds: Compositionality for Cognitive Architectures
von: Dhar, Ruchira, et al.
Veröffentlicht: (2024)
von: Dhar, Ruchira, et al.
Veröffentlicht: (2024)
Reconciling Explanations in Multi-Model Systems through Probabilistic Argumentation
von: Hong, Shengxin, et al.
Veröffentlicht: (2024)
von: Hong, Shengxin, et al.
Veröffentlicht: (2024)
Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
von: Huang, Wei-Jia, et al.
Veröffentlicht: (2026)
von: Huang, Wei-Jia, et al.
Veröffentlicht: (2026)
Botfip-LLM: An Enhanced Multimodal Scientific Computing Framework Leveraging Knowledge Distillation from Large Language Models
von: Chen, Tianhao, et al.
Veröffentlicht: (2024)
von: Chen, Tianhao, et al.
Veröffentlicht: (2024)
Simulating Petri nets with Boolean Matrix Logic Programming
von: Ai, Lun, et al.
Veröffentlicht: (2024)
von: Ai, Lun, et al.
Veröffentlicht: (2024)
A Neuro-Symbolic Approach to Monitoring Salt Content in Food
von: Tayal, Anuja, et al.
Veröffentlicht: (2024)
von: Tayal, Anuja, et al.
Veröffentlicht: (2024)
Towards Practical Automatic Piano Reduction using BERT with Semi-supervised Learning
von: Wong, Wan Ki, et al.
Veröffentlicht: (2025)
von: Wong, Wan Ki, et al.
Veröffentlicht: (2025)
Faster multivariate integration in D-modules
von: Brochet, Hadrien, et al.
Veröffentlicht: (2025)
von: Brochet, Hadrien, et al.
Veröffentlicht: (2025)
Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations
von: Böhmer, Christian G., et al.
Veröffentlicht: (2025)
von: Böhmer, Christian G., et al.
Veröffentlicht: (2025)
Consequences of the Moosbauer-Poole Algorithms
von: Kauers, Manuel, et al.
Veröffentlicht: (2025)
von: Kauers, Manuel, et al.
Veröffentlicht: (2025)
Deducing Closed-Form Expressions for Bright-Solitons in Strongly Magnetized Plasmas with Physics Informed Symbolic Regression (PISR)
von: Finkelstein, Edward
Veröffentlicht: (2025)
von: Finkelstein, Edward
Veröffentlicht: (2025)
Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
von: Stübbe, Jonas, et al.
Veröffentlicht: (2025)
von: Stübbe, Jonas, et al.
Veröffentlicht: (2025)
Telescoping Algorithms for $Σ^*$-Extensions via Complete Reductions
von: Chen, Shaoshi, et al.
Veröffentlicht: (2025)
von: Chen, Shaoshi, et al.
Veröffentlicht: (2025)
More is Less: Adding Polynomials for Faster Explanations in NLSAT
von: Promies, Valentin, et al.
Veröffentlicht: (2025)
von: Promies, Valentin, et al.
Veröffentlicht: (2025)
Generalized ODE reduction algorithm for bounded degree transformation
von: Huang, Shaoxuan
Veröffentlicht: (2025)
von: Huang, Shaoxuan
Veröffentlicht: (2025)
Generalized ODE reduction algorithm with bounded degree transformation
von: Huang, Shaoxuan
Veröffentlicht: (2025)
von: Huang, Shaoxuan
Veröffentlicht: (2025)
A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
von: Nalbach, Jasper, et al.
Veröffentlicht: (2025)
von: Nalbach, Jasper, et al.
Veröffentlicht: (2025)
An Algorithm for Computing the Leading Monomials of a Minimal Groebner Basis of Generic Sequences
von: Sakata, Kosuke, et al.
Veröffentlicht: (2025)
von: Sakata, Kosuke, et al.
Veröffentlicht: (2025)
Symmetric Division of Linear Ordinary Differential Operators
von: Du, Lixin, et al.
Veröffentlicht: (2025)
von: Du, Lixin, et al.
Veröffentlicht: (2025)
The regular multivariate quadratic problem
von: Joux, Antoine, et al.
Veröffentlicht: (2025)
von: Joux, Antoine, et al.
Veröffentlicht: (2025)
A Unified Reduction for Hypergeometric and q-Hypergeometric Creative Telescoping
von: Chen, Shaoshi, et al.
Veröffentlicht: (2025)
von: Chen, Shaoshi, et al.
Veröffentlicht: (2025)
Frobenius method for Mahler equations
von: Roques, Julien
Veröffentlicht: (2025)
von: Roques, Julien
Veröffentlicht: (2025)
Flip Graphs with Symmetry and New Matrix Multiplication Schemes
von: Moosbauer, Jakob, et al.
Veröffentlicht: (2025)
von: Moosbauer, Jakob, et al.
Veröffentlicht: (2025)
On the Number of Real Types of Univariate Polynomials
von: Faroß, Nicolas, et al.
Veröffentlicht: (2025)
von: Faroß, Nicolas, et al.
Veröffentlicht: (2025)
Exploring Commutative Matrix Multiplication Schemes via Flip Graphs
von: Wood, Isaac
Veröffentlicht: (2025)
von: Wood, Isaac
Veröffentlicht: (2025)
Creative Telescoping
von: Chen, Shaoshi, et al.
Veröffentlicht: (2025)
von: Chen, Shaoshi, et al.
Veröffentlicht: (2025)
Cooley-Tukey FFT over $\mathbb{Q}_p$ via Unramified Cyclotomic Extension
von: Kondo, Hiromasa
Veröffentlicht: (2025)
von: Kondo, Hiromasa
Veröffentlicht: (2025)
Advancing Symbolic Discovery on Unsupervised Data: A Pre-training Framework for Non-degenerate Implicit Equation Discovery
von: Yufei, Kuang, et al.
Veröffentlicht: (2025)
von: Yufei, Kuang, et al.
Veröffentlicht: (2025)
Flip Graphs for Polynomial Multiplication
von: Chen, Shaoshi, et al.
Veröffentlicht: (2025)
von: Chen, Shaoshi, et al.
Veröffentlicht: (2025)
Refined bit complexity for the computation of at least onepoint per connected component of a smooth completeintersection real algebraic set
von: Elliott, Jesse, et al.
Veröffentlicht: (2025)
von: Elliott, Jesse, et al.
Veröffentlicht: (2025)
Projective Delineability for Single Cell Construction
von: Nalbach, Jasper, et al.
Veröffentlicht: (2025)
von: Nalbach, Jasper, et al.
Veröffentlicht: (2025)
Ähnliche Einträge
-
A Knowledge Graph Informing Soil Carbon Modeling
von: Shirvani-Mahdavi, Nasim, et al.
Veröffentlicht: (2025) -
Green Computing: The Ultimate Carbon Destroyer for a Sustainable Future
von: Amiri, Sayed Mahbub Hasan, et al.
Veröffentlicht: (2025) -
Using Java Geometry Expert as Guide in the Preparations for Math Contests
von: Ganglmayr, Ines, et al.
Veröffentlicht: (2024) -
A4L: An Architecture for AI-Augmented Learning
von: Goel, Ashok, et al.
Veröffentlicht: (2025) -
ELIZA Reanimated: The world's first chatbot restored on the world's first time sharing system
von: Lane, Rupert, et al.
Veröffentlicht: (2025)