Buchumschlag

Primality Testing via Circulant Matrix Eigenvalue Structure: A Novel Approach Using Cyclotomic Field Theory

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Dinu, Marius-Constantin
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Symbolic Computation Machine Learning
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

SymbolicAI: A framework for logic-based approaches combining generative models and solvers
von: Dinu, Marius-Constantin, et al.
Veröffentlicht: (2024)

Symbolic Equation Solving via Reinforcement Learning
von: Dabelow, Lennart, et al.
Veröffentlicht: (2024)

Cooley-Tukey FFT over $\mathbb{Q}_p$ via Unramified Cyclotomic Extension
von: Kondo, Hiromasa
Veröffentlicht: (2025)

Active Symbolic Discovery of Ordinary Differential Equations via Phase Portrait Sketching
von: Jiang, Nan, et al.
Veröffentlicht: (2024)

STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification
von: Kapoor, Parv, et al.
Veröffentlicht: (2025)

Primes via Zeros: Interactive Proofs for Testing Primality of Natural Classes of Ideals
von: Garg, Abhibhav, et al.
Veröffentlicht: (2025)

A Fast Interpretable Fuzzy Tree Learner
von: Fumanal-Idocin, Javier, et al.
Veröffentlicht: (2025)

Ontolearn-A Framework for Large-scale OWL Class Expression Learning in Python
von: Demir, Caglar, et al.
Veröffentlicht: (2025)

Breaking the Data Barrier in Learning Symbolic Computation: A Case Study on Variable Ordering Suggestion for Cylindrical Algebraic Decomposition
von: Jing, Rui-Juan, et al.
Veröffentlicht: (2026)

Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms
von: Kera, Hiroshi, et al.
Veröffentlicht: (2025)

Tree-Based Deep Learning for Ranking Symbolic Integration Algorithms
von: Barket, Rashid, et al.
Veröffentlicht: (2025)

Taylor-Model Physics-Informed Neural Networks (PINNs) for Ordinary Differential Equations
von: Nagesh, Chandra Kanth, et al.
Veröffentlicht: (2025)

Parsing the Language of Expression: Enhancing Symbolic Regression with Domain-Aware Symbolic Priors
von: Huang, Sikai, et al.
Veröffentlicht: (2025)

Opening the Black-Box: Symbolic Regression with Kolmogorov-Arnold Networks for Energy Applications
von: Panczyk, Nataly R., et al.
Veröffentlicht: (2025)

LMFD: Latent Monotonic Feature Discovery
von: Toussaint, Guus, et al.
Veröffentlicht: (2025)

Computing Linear Regions in Neural Networks with Skip Connections
von: Joyce, Johnny, et al.
Veröffentlicht: (2025)

Shape Constraints in Symbolic Regression using Penalized Least Squares
von: Martinek, Viktor, et al.
Veröffentlicht: (2024)

Post-Training Neural Network Pruning using Graph Curvature
von: Tan, Shuhang, et al.
Veröffentlicht: (2026)

Interpretable Concept Bottlenecks to Align Reinforcement Learning Agents
von: Delfosse, Quentin, et al.
Veröffentlicht: (2024)

The Liouville Generator for Producing Integrable Expressions
von: Barket, Rashid, et al.
Veröffentlicht: (2024)

Deep Neural Network for Constraint Acquisition through Tailored Loss Function
von: Vyhmeister, Eduardo, et al.
Veröffentlicht: (2024)

GENSR: Symbolic Regression Based in Equation Generative Space
von: Li, Qian, et al.
Veröffentlicht: (2026)

Transformers to Predict the Applicability of Symbolic Integration Routines
von: Barket, Rashid, et al.
Veröffentlicht: (2024)

Expressive Symbolic Regression for Interpretable Models of Discrete-Time Dynamical Systems
von: Iyer, Adarsh, et al.
Veröffentlicht: (2024)

Unit-Aware Genetic Programming for the Development of Empirical Equations
von: Reuter, Julia, et al.
Veröffentlicht: (2024)

Neural Symbolic Regression of Complex Network Dynamics
von: Qiu, Haiquan, et al.
Veröffentlicht: (2024)

Interpreting Contrastive Embeddings in Specific Domains with Fuzzy Rules
von: Fumanal-Idocin, Javier, et al.
Veröffentlicht: (2026)

Polyra Swarms: A Shape-Based Approach to Machine Learning
von: Klüttermann, Simon, et al.
Veröffentlicht: (2025)

Auditable Unit-Aware Thresholds in Symbolic Regression via Logistic-Gated Operators
von: Deng, Ou, et al.
Veröffentlicht: (2025)

EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
von: Jiang, Nan, et al.
Veröffentlicht: (2025)

Exploiting the Structure in Tensor Decompositions for Matrix Multiplication
von: Kauers, Manuel, et al.
Veröffentlicht: (2026)

Predictive Modeling of Flexible EHD Pumps using Kolmogorov-Arnold Networks
von: Peng, Yanhong, et al.
Veröffentlicht: (2024)

Robust Clustering using Hyperdimensional Computing
von: Ge, Lulu, et al.
Veröffentlicht: (2023)

Learning from Uncertain Data: From Possible Worlds to Possible Models
von: Zhu, Jiongli, et al.
Veröffentlicht: (2024)

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
von: Chen, Michael K.
Veröffentlicht: (2025)

Positivity Proofs for Linear Recurrences with Several Dominant Eigenvalues
von: Ibrahim, Alaa
Veröffentlicht: (2025)

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions
von: Zheng, Hongbo, et al.
Veröffentlicht: (2025)

Library Learning Doesn't: The Curious Case of the Single-Use "Library"
von: Berlot-Attwell, Ian, et al.
Veröffentlicht: (2024)

VaSST: Variational Inference for Symbolic Regression using Soft Symbolic Trees
von: Roy, Somjit, et al.
Veröffentlicht: (2026)

Beyond Accuracy: Introducing a Symbolic-Mechanistic Approach to Interpretable Evaluation
von: Habibi, Reza, et al.
Veröffentlicht: (2026)