Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2510.12350 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
State Algebra for Propositional Logic
by: Lesnik, Dmitry, et al.
Published: (2025)
by: Lesnik, Dmitry, et al.
Published: (2025)
Refutation of Spectral Graph Theory Conjectures with Search Algorithms)
by: Roucairol, Milo, et al.
Published: (2024)
by: Roucairol, Milo, et al.
Published: (2024)
Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems
by: Florescu, Dorian, et al.
Published: (2024)
by: Florescu, Dorian, et al.
Published: (2024)
Analysis and Optimization of Probabilities of Beneficial Mutation and Crossover Recombination in a Hamming Space
by: Belavkin, Roman V.
Published: (2025)
by: Belavkin, Roman V.
Published: (2025)
CircuitBuilder: From Polynomials to Circuits via Reinforcement Learning
by: Zhang, Weikun K., et al.
Published: (2026)
by: Zhang, Weikun K., et al.
Published: (2026)
Accelerating Large Kernel Convolutions with Nested Winograd Transformation.pdf
by: Jiang, Jingbo, et al.
Published: (2021)
by: Jiang, Jingbo, et al.
Published: (2021)
STRIDE: A Self-Reflective Agent Framework for Reliable Automatic Equation Discovery
by: Su, Jiarui, et al.
Published: (2026)
by: Su, Jiarui, et al.
Published: (2026)
How to Compute a Moving Sum
by: Maslen, David K., et al.
Published: (2025)
by: Maslen, David K., et al.
Published: (2025)
Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD
by: del Río, Tereso, et al.
Published: (2024)
by: del Río, Tereso, et al.
Published: (2024)
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
by: Pickering, Lynn, et al.
Published: (2023)
by: Pickering, Lynn, et al.
Published: (2023)
An Algorithm for Determining Lie Algebra Types
by: Nguyen, Tu N. T. C., et al.
Published: (2025)
by: Nguyen, Tu N. T. C., et al.
Published: (2025)
Innovations in Agricultural Forecasting: A Multivariate Regression Study on Global Crop Yield Prediction
by: Gupta, Ishaan, et al.
Published: (2023)
by: Gupta, Ishaan, et al.
Published: (2023)
Logical Modalities within the European AI Act: An Analysis
by: Lawniczak, Lara, et al.
Published: (2025)
by: Lawniczak, Lara, et al.
Published: (2025)
Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification
by: Drechsler, Rolf
Published: (2025)
by: Drechsler, Rolf
Published: (2025)
Using Aristotle API for AI-Assisted Theorem Proving in Lean 4: A Formalisation Case Study of the Grasshopper Problem
by: Lau, Gabriel Rongyang
Published: (2026)
by: Lau, Gabriel Rongyang
Published: (2026)
Computing Derivations on Nilpotent Quadratic Lie Algebras
by: Benito, Pilar, et al.
Published: (2024)
by: Benito, Pilar, et al.
Published: (2024)
Certified Finite-State Induction for a Perturbed Hofstadter Recursion
by: Mantovanelli, Marco
Published: (2026)
by: Mantovanelli, Marco
Published: (2026)
Reciprocal Learning
by: Rodemann, Julian, et al.
Published: (2024)
by: Rodemann, Julian, et al.
Published: (2024)
Proving Olympiad Algebraic Inequalities without Human Demonstrations
by: Wei, Chenrui, et al.
Published: (2024)
by: Wei, Chenrui, et al.
Published: (2024)
Symbolic computation of optimal systems of subalgebras of three- and four-dimensional real Lie algebras
by: Amata, Luca, et al.
Published: (2025)
by: Amata, Luca, et al.
Published: (2025)
Architecture-Induced Recoverability Bias in Differentiable Symbolic Regression
by: Gupta, Chakshu, et al.
Published: (2026)
by: Gupta, Chakshu, et al.
Published: (2026)
Progressive Power Homotopy for Non-convex Optimization
by: Xu, Chen
Published: (2026)
by: Xu, Chen
Published: (2026)
From Polynomials to Databases: Arithmetic Structures in Galois Theory
by: Mezinaj, Jurgen
Published: (2025)
by: Mezinaj, Jurgen
Published: (2025)
Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
by: Firsching, Moritz, et al.
Published: (2026)
by: Firsching, Moritz, et al.
Published: (2026)
Bridging the Gap in Hybrid Decision-Making Systems
by: Mazzoni, Federico, et al.
Published: (2024)
by: Mazzoni, Federico, et al.
Published: (2024)
Lower Estimates for $L_1$-Distortion of Transportation Cost Spaces
by: Gartland, Chris, et al.
Published: (2026)
by: Gartland, Chris, et al.
Published: (2026)
Computing k-means in mixed precision
by: Carson, Erin, et al.
Published: (2024)
by: Carson, Erin, et al.
Published: (2024)
An Analysis of Optimizer Choice on Energy Efficiency and Performance in Neural Network Training
by: Almog, Tom
Published: (2025)
by: Almog, Tom
Published: (2025)
Temporal Lifting as Latent-Space Regularization for Continuous-Time Flow Models in AI Systems
by: Camlin, Jeffrey
Published: (2025)
by: Camlin, Jeffrey
Published: (2025)
Why the classes P and NP are not well-defined finitarily
by: Anand, Bhupinder Singh
Published: (2024)
by: Anand, Bhupinder Singh
Published: (2024)
Astrolabe: A Content-Addressable Hypergraph for Semantic Knowledge Management
by: Li, Xinze
Published: (2026)
by: Li, Xinze
Published: (2026)
An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
by: Farmer, William M.
Published: (2026)
by: Farmer, William M.
Published: (2026)
Improving Graph Embeddings in Machine Learning Using Knowledge Completion with Validation in a Case Study on COVID-19 Spread
by: Napoli, Rosario, et al.
Published: (2025)
by: Napoli, Rosario, et al.
Published: (2025)
Algebraic Algorithms for Fractional Linear Matroid Parity via Non-commutative Rank
by: Oki, Taihei, et al.
Published: (2022)
by: Oki, Taihei, et al.
Published: (2022)
Computing the Lie algebra of the differential Galois group: the reducible case
by: Dreyfus, Thomas, et al.
Published: (2019)
by: Dreyfus, Thomas, et al.
Published: (2019)
Computing the probability of intersection
by: Barvinok, Alexander
Published: (2025)
by: Barvinok, Alexander
Published: (2025)
Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI
by: Platzer, André
Published: (2024)
by: Platzer, André
Published: (2024)
Derandomization with Pseudorandomness
by: Karayel, Emin
Published: (2024)
by: Karayel, Emin
Published: (2024)
Massively Parallel Reductions in Multivariate Polynomial Systems: Bridging the Symbolic Preprocessing Gap on GPGPU Architectures
by: Gokavarapu, Chandrasekhar
Published: (2026)
by: Gokavarapu, Chandrasekhar
Published: (2026)
Fast Maxwell Solvers Based on Exact Discrete Eigen-Decompositions I. Two-Dimensional Case
by: Wang, Lixiu, et al.
Published: (2025)
by: Wang, Lixiu, et al.
Published: (2025)