Buchumschlag

Artificial intelligence and machine learning generated conjectures with TxGraffiti

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Davila, Randy
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence Combinatorics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Automated conjecturing with \emph{TxGraffiti}
von: Davila, Randy
Veröffentlicht: (2024)

Another conjecture of TxGraffiti concerning zero forcing and domination in graphs
von: Davila, Randy R.
Veröffentlicht: (2024)

The \emph{Optimist}: Towards Fully Automated Graph Theory Research
von: Davila, Randy
Veröffentlicht: (2024)

Graph Neural Networks vs Convolutional Neural Networks for Graph Domination Number Prediction
von: Davila, Randy, et al.
Veröffentlicht: (2025)

In Reverie Together: Ten Years of Mathematical Discovery with a Machine Collaborator
von: Davila, Randy, et al.
Veröffentlicht: (2025)

Tangles: a structural approach to artificial intelligence in the empirical sciences (Part I)
von: Diestel, Reinhard
Veröffentlicht: (2020)

Artificial intelligence and machine learning applications for cultured meat
von: Todhunter, Michael E., et al.
Veröffentlicht: (2024)

Lower bounds for the total (distance) $k$-domination number of a graph
von: Davila, Randy
Veröffentlicht: (2024)

An AI enhanced approach to the tree unimodality conjecture
von: Ramos, Eric, et al.
Veröffentlicht: (2025)

Estimating the stability number of a random graph using convolutional neural networks
von: Davila, Randy
Veröffentlicht: (2024)

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

BEAM: Bi-level Memory-adaptive Algorithmic Evolution for LLM-Powered Heuristic Design
von: Xiang, Chuyang, et al.
Veröffentlicht: (2026)

New Bounds for Zarankiewicz Numbers via Reinforced LLM Evolutionary Search
von: Bhan, Jay, et al.
Veröffentlicht: (2026)

On CNF formulas irredundant with respect to unit clause propagation
von: Savický, Petr
Veröffentlicht: (2023)

Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2026)

Comparing the $p$-independence number of regular graphs to the $q$-independence number of their line graphs
von: Caro, Yair, et al.
Veröffentlicht: (2024)

A Characterization of Claw-Free Graphs using Zero Forcing Invariants
von: Davila, Randy, et al.
Veröffentlicht: (2024)

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

Using Reasoning Models to Generate Search Heuristics that Solve Open Instances of Combinatorial Design Problems
von: Rosin, Christopher D.
Veröffentlicht: (2025)

Reinforced Generation of Combinatorial Structures: Ramsey Numbers
von: Nagda, Ansh, et al.
Veröffentlicht: (2026)

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

The Packing Chromatic Number of the Infinite Square Grid is 15
von: Subercaseaux, Bernardo, et al.
Veröffentlicht: (2023)

Adaptation and Fine-tuning with TabPFN for Travelling Salesman Problem
von: Vu, Nguyen Gia Hien, et al.
Veröffentlicht: (2025)

Complement Submodular Information Measures for Balanced and Robust Data Selection
von: Iyer, Rishabh
Veröffentlicht: (2026)

Exact MAP inference in general higher-order graphical models using linear programming
von: Bechar, Ikhlef
Veröffentlicht: (2017)

What makes math problems hard for reinforcement learning: a case study
von: Shehper, Ali, et al.
Veröffentlicht: (2024)

Independence, induced subgraphs, and domination in $K_{1,r}$-free graphs
von: Caro, Yair, et al.
Veröffentlicht: (2025)

Artificial intelligence approaches for energy-efficient laser cutting machines
von: Salem, Mohamed Abdallah, et al.
Veröffentlicht: (2025)

Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design
von: Xia, Hai, et al.
Veröffentlicht: (2026)

Empirical Analysis Of Heuristic and Approximation Algorithms for the The Mutual-Visibility Problem
von: Stojanović, Vanja, et al.
Veröffentlicht: (2025)

Lifted Inference beyond First-Order Logic
von: Malhotra, Sagar, et al.
Veröffentlicht: (2023)

Man and machine: artificial intelligence and judicial decision making
von: Dyevre, Arthur, et al.
Veröffentlicht: (2026)

Deep generative models as an adversarial attack strategy for tabular machine learning
von: Dyrmishi, Salijona, et al.
Veröffentlicht: (2024)

Educational impacts of generative artificial intelligence on learning and performance of engineering students in China
von: Fan, Lei, et al.
Veröffentlicht: (2025)

Toward TransfORmers: Revolutionizing the Solution of Mixed Integer Programs with Transformers
von: Cooper, Joshua F., et al.
Veröffentlicht: (2024)

Using Code Generation to Solve Open Instances of Combinatorial Design Problems
von: Rosin, Christopher D.
Veröffentlicht: (2025)

Trees and Graphs with Non Log-concave Dominating Set Sequence via AI Tools
von: Du, Alina, et al.
Veröffentlicht: (2026)

Automated Discovery of Improved Constant Weight Binary Codes
von: Rosin, Christopher D.
Veröffentlicht: (2026)

Reinforced Generation of Combinatorial Structures: Hardness of Approximation
von: Nagda, Ansh, et al.
Veröffentlicht: (2025)

Where Paths Collide: A Comprehensive Survey of Classic and Learning-Based Multi-Agent Pathfinding
von: Wang, Shiyue, et al.
Veröffentlicht: (2025)