mlsanityData to 14 Oct 2026

Neuro-Symbolic Learning for Galois Groups: Unveiling Probabilistic Trends in Polynomials

arXiv 2502.20844 ↗First posted 28 Feb 2025cs.LG cs.AIcited by 0

Not on the map. Why?

Abstract (arXiv)

This paper presents a neurosymbolic approach to classifying Galois groups of polynomials, integrating classical Galois theory with machine learning to address challenges in algebraic computation. By combining neural networks with symbolic reasoning we develop a model that outperforms purely numerical methods in accuracy and interpretability. Focusing on sextic polynomials with height ≤ 6, we analyze a database of 53,972 irreducible examples, uncovering novel distributional trends, such as the 20 sextic polynomials with Galois group C6 spanning just seven invariant-defined equivalence classes. These findings offer the first empirical insights into Galois group probabilities under height constraints and lay the groundwork for exploring solvability by radicals. Demonstrating AI's potential to reveal patterns beyond traditional symbolic techniques, this work paves the way for future research in computational algebra, with implications for probabilistic conjectures and higher degree classifications.

Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 1 of its 10 references that are in the map. First posted on arXiv 28 Feb 2025.

Builds on

1 of 10 references.

References · 1

  1. 2024Machine learning for moduli space of genus two curves and an application to isogeny based cryptographycited by 6

Built on by

Not cited yet.

Similar, not cited

Close in wording, no citation either way

  1. 2025Why Neural Network Can Discover Symbolic Structures with Gradient-based Training: An Algebraic and Geometric Foundation for Neurosymbolic Reasoning
  2. 2025Machine Learning meets Algebraic Combinatorics: A Suite of Datasets Capturing Research-level Conjecturing Ability in Pure Mathematics
  3. 2025Discovering Hidden Algebraic Structures via Transformers with Rank-Aware Beam GRPO
  4. 2026Breaking the Data Barrier in Learning Symbolic Computation: A Case Study on Variable Ordering Suggestion for Cylindrical Algebraic Decomposition
  5. 2026On the Limits of Interpretable Machine Learning in Quintic Root Classification
  6. 2024Discovering Abstract Symbolic Relations by Learning Unitary Group Representations
  7. 2026FactorLibrary: From Polynomials to Circuits via Recursive Subgoals
  8. 2026Learning to Coordinate Symbolic Tools: LLM Agents for Verified Sum-of-Squares Certificates