PatternBoost: Constructions in Mathematics with a Little Help from AI
Fuente:
arXiv
Saved in:
| Main Authors: | Charton, François, Ellenberg, Jordan S., Wagner, Adam Zsolt, Williamson, Geordie |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Evolving Local Corrections for Global Constructions in Combinatorics
by: Bérczi, Gergely
Published: (2026)
by: Bérczi, Gergely
Published: (2026)
Learning the symmetric group: large from small
by: Petschack, Max, et al.
Published: (2025)
by: Petschack, Max, et al.
Published: (2025)
Most frequent subsequences in a word
by: Bukh, Boris, et al.
Published: (2025)
by: Bukh, Boris, et al.
Published: (2025)
Formalising New Mathematics in Isabelle: Diagonal Ramsey
by: Paulson, Lawrence C
Published: (2025)
by: Paulson, Lawrence C
Published: (2025)
VC-dimension of subsets of Hamming graphs
by: Housholder, Christopher, et al.
Published: (2025)
by: Housholder, Christopher, et al.
Published: (2025)
$H$-percolation with a random $H$
by: Bartha, Zsolt, et al.
Published: (2023)
by: Bartha, Zsolt, et al.
Published: (2023)
Regular $K_3$-irregular graphs
by: Hak, Artem, et al.
Published: (2025)
by: Hak, Artem, et al.
Published: (2025)
Words with Repeated Letters in a Grid
by: Halberstam, Zachary, et al.
Published: (2025)
by: Halberstam, Zachary, et al.
Published: (2025)
Partial Algebraic Shifting
by: Della Vecchia, Antony, et al.
Published: (2024)
by: Della Vecchia, Antony, et al.
Published: (2024)
Flow-based Extremal Mathematical Structure Discovery
by: Bérczi, Gergely, et al.
Published: (2026)
by: Bérczi, Gergely, et al.
Published: (2026)
Wiring Switches to Light Bulbs
by: Buckley, Stephen M., et al.
Published: (2011)
by: Buckley, Stephen M., et al.
Published: (2011)
Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma
by: Edmonds, Chelsea, et al.
Published: (2023)
by: Edmonds, Chelsea, et al.
Published: (2023)
The inducibility of 6-vertex graphs
by: Bodnár, Levente, et al.
Published: (2026)
by: Bodnár, Levente, et al.
Published: (2026)
Kővári-Sós-Turán theorem for hereditary families
by: Hunter, Zach, et al.
Published: (2024)
by: Hunter, Zach, et al.
Published: (2024)
FlagAlgebraToolbox: Flag Algebra Computations in SageMath
by: Bodnár, Levente
Published: (2026)
by: Bodnár, Levente
Published: (2026)
On a rainbow extremal problem for color-critical graphs
by: Chakraborti, Debsoumya, et al.
Published: (2022)
by: Chakraborti, Debsoumya, et al.
Published: (2022)
Slavic Techniques for Hat Guessing Algorithms
by: McInnis, I. M. J.
Published: (2025)
by: McInnis, I. M. J.
Published: (2025)
Self-identifying codes in direct products of complete graphs with paths and cycles
by: Liu, Jihong, et al.
Published: (2025)
by: Liu, Jihong, et al.
Published: (2025)
The pebbling number of Fibonacci cubes
by: Niu, Tong
Published: (2026)
by: Niu, Tong
Published: (2026)
Maximal sets of a given diameter in Hamming cubes
by: Bukh, Boris, et al.
Published: (2025)
by: Bukh, Boris, et al.
Published: (2025)
Remote Verification System for Mizar Integrated with Emwiki
by: Kai, Toshiki, et al.
Published: (2024)
by: Kai, Toshiki, et al.
Published: (2024)
Perfect Edge Domination in $P_6$-free Graphs and in Graphs Without Efficient Edge Dominating Sets
by: Grippo, Luciano N., et al.
Published: (2025)
by: Grippo, Luciano N., et al.
Published: (2025)
A Modular First Formalisation of Combinatorial Design Theory
by: Edmonds, Chelsea, et al.
Published: (2021)
by: Edmonds, Chelsea, et al.
Published: (2021)
Pattern Forcing (0,1)-Matrices
by: Cao, Lei, et al.
Published: (2025)
by: Cao, Lei, et al.
Published: (2025)
The Turán density of short tight cycles
by: Bodnár, Levente, et al.
Published: (2025)
by: Bodnár, Levente, et al.
Published: (2025)
The hereditariness problem for the Černý conjecture
by: Rodaro, Emanuele, et al.
Published: (2025)
by: Rodaro, Emanuele, et al.
Published: (2025)
Hyperstability in the Erdős-Sós Conjecture
by: Pokrovskiy, Alexey
Published: (2024)
by: Pokrovskiy, Alexey
Published: (2024)
Wiring switches to more light bulbs
by: Buckley, Stephen M., et al.
Published: (2024)
by: Buckley, Stephen M., et al.
Published: (2024)
New bounds on even cycle creating Hamiltonian paths using expander graphs
by: Harcos, Gergely, et al.
Published: (2019)
by: Harcos, Gergely, et al.
Published: (2019)
Hypergraphs accumulate
by: Conlon, David, et al.
Published: (2024)
by: Conlon, David, et al.
Published: (2024)
Hypergraphs accumulate infinitely often
by: Conlon, David, et al.
Published: (2025)
by: Conlon, David, et al.
Published: (2025)
Turán's theorem for Dowling geometries
by: Campbell, Rutger, et al.
Published: (2025)
by: Campbell, Rutger, et al.
Published: (2025)
Note as to size-minimal hypercompletly separating systems
by: Batikova, B., et al.
Published: (2026)
by: Batikova, B., et al.
Published: (2026)
A PDE Perspective on Generative Diffusion Models
by: Liu, Kang, et al.
Published: (2025)
by: Liu, Kang, et al.
Published: (2025)
Online coloring of short interval graphs and two-count interval graphs
by: Curbelo, Israel R.
Published: (2024)
by: Curbelo, Israel R.
Published: (2024)
Spherical higher order Fourier analysis over finite fields II: additive combinatorics for shifted ideals
by: Sun, Wenbo
Published: (2023)
by: Sun, Wenbo
Published: (2023)
Convergence Dynamics and Stabilization Strategies of Co-Evolving Generative Models
by: Gao, Weiguo, et al.
Published: (2025)
by: Gao, Weiguo, et al.
Published: (2025)
The Tower of Hanoi: Optimality Proofs, Multi-Peg Bounds, and Computational Frontiers
by: Junyi, Qi
Published: (2025)
by: Junyi, Qi
Published: (2025)
Optimal and Near-Optimal Constructions for Bootstrap Percolation in Hypercubes
by: Noel, Jonathan A.
Published: (2026)
by: Noel, Jonathan A.
Published: (2026)
Dirac's theorem and the switch geometry of perfect matchings
by: Kang, Ross J., et al.
Published: (2026)
by: Kang, Ross J., et al.
Published: (2026)
Similar Items
-
Evolving Local Corrections for Global Constructions in Combinatorics
by: Bérczi, Gergely
Published: (2026) -
Learning the symmetric group: large from small
by: Petschack, Max, et al.
Published: (2025) -
Most frequent subsequences in a word
by: Bukh, Boris, et al.
Published: (2025) -
Formalising New Mathematics in Isabelle: Diagonal Ramsey
by: Paulson, Lawrence C
Published: (2025) -
VC-dimension of subsets of Hamming graphs
by: Housholder, Christopher, et al.
Published: (2025)