Cover Image

Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Przybocki, Benjamin, Mackey, John, Heule, Marijn J. H., Subercaseaux, Bernardo
Format:	Preprint
Published:	2026
Subjects:	Combinatorics Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Packing Chromatic Number of the Infinite Square Grid is 15
by: Subercaseaux, Bernardo, et al.
Published: (2023)

Automated Reencoding Meets Graph Theory
by: Przybocki, Benjamin, et al.
Published: (2026)

Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane
by: Subercaseaux, Bernardo, et al.
Published: (2023)

PackIt! Gamified Rectangle Packing
by: Garrison, Thomas, et al.
Published: (2024)

Pentagon Minimization without Computation
by: Mackey, John, et al.
Published: (2024)

Unfolding Boxes with Local Constraints
by: Qian, Long, et al.
Published: (2025)

Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős Problems
by: Feng, Tony, et al.
Published: (2026)

Optimal and Efficient Partite Decompositions of Hypergraphs
by: Krapivin, Andrew, et al.
Published: (2025)

Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design
by: Xia, Hai, et al.
Published: (2026)

Automated Symmetric Constructions in Discrete Geometry
by: Subercaseaux, Bernardo, et al.
Published: (2025)

Happy Ending: An Empty Hexagon in Every Set of 30 Points
by: Heule, Marijn J. H., et al.
Published: (2024)

In Reverie Together: Ten Years of Mathematical Discovery with a Machine Collaborator
by: Davila, Randy, et al.
Published: (2025)

Reinforced Generation of Combinatorial Structures: Ramsey Numbers
by: Nagda, Ansh, et al.
Published: (2026)

Asymptotically Smaller Encodings for Graph Problems and Scheduling
by: Subercaseaux, Bernardo
Published: (2025)

Orbitopal Fixing in SAT
by: Anders, Markus, et al.
Published: (2026)

Price of Locality in Permutation Mastermind: Are TikTok influencers Chaotic Enough?
by: Subercaseaux, Bernardo
Published: (2026)

Anti-Ramsey Numbers of Expansions of Doubly Edge-critical Graphs in Uniform Hypergraphs
by: Li, Tong, et al.
Published: (2024)

A Demigod's Number for the Rubik's Cube
by: Merino, Arturo, et al.
Published: (2024)

Polymorphic Combinatorial Frameworks (PCF): Guiding the Design of Mathematically-Grounded, Adaptive AI Agents
by: Pearl, David, et al.
Published: (2025)

Near-Optimal Encodings of Cardinality Constraints
by: Krapivin, Andrew, et al.
Published: (2026)

The \emph{Optimist}: Towards Fully Automated Graph Theory Research
by: Davila, Randy
Published: (2024)

Graph Neural Networks vs Convolutional Neural Networks for Graph Domination Number Prediction
by: Davila, Randy, et al.
Published: (2025)

Automated Discovery of Improved Constant Weight Binary Codes
by: Rosin, Christopher D.
Published: (2026)

Machine Learning meets Algebraic Combinatorics: A Suite of Datasets Capturing Research-level Conjecturing Ability in Pure Mathematics
by: Chau, Herman, et al.
Published: (2025)

Ramsey Numbers in Kneser Graphs
by: Heath, Emily, et al.
Published: (2025)

Graphs with asymmetric Ramsey properties
by: Mendonça, Walner, et al.
Published: (2025)

GraphAide: Advanced Graph-Assisted Query and Reasoning System
by: Purohit, Sumit, et al.
Published: (2024)

Probabilistic Explanations for Linear Models
by: Subercaseaux, Bernardo, et al.
Published: (2024)

BEAM: Bi-level Memory-adaptive Algorithmic Evolution for LLM-Powered Heuristic Design
by: Xiang, Chuyang, et al.
Published: (2026)

New Bounds for Zarankiewicz Numbers via Reinforced LLM Evolutionary Search
by: Bhan, Jay, et al.
Published: (2026)

Artificial intelligence and machine learning generated conjectures with TxGraffiti
by: Davila, Randy
Published: (2024)

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
by: Jha, Piyush, et al.
Published: (2024)

Tangles: a structural approach to artificial intelligence in the empirical sciences (Part I)
by: Diestel, Reinhard
Published: (2020)

Automated conjecturing with \emph{TxGraffiti}
by: Davila, Randy
Published: (2024)

On CNF formulas irredundant with respect to unit clause propagation
by: Savický, Petr
Published: (2023)

From the Finite to the Infinite: Sharper Asymptotic Bounds on Norin's Conjecture via SAT
by: Kirchweger, Markus, et al.
Published: (2025)

Anti-Ramsey Number of Friendship Graphs
by: Liu, Wenke, et al.
Published: (2024)

Mathematical exploration and discovery at scale
by: Georgiev, Bogdan, et al.
Published: (2025)

Ollivier-Ricci Curvature of Riemannian Manifolds and Directed Graphs with Applications to Graph Neural Networks
by: Wiesler, Eleanor
Published: (2026)

AI Mathematician as a Partner in Advancing Mathematical Discovery -- A Case Study in Homogenization Theory
by: Liu, Yuanhang, et al.
Published: (2025)