2 citations · 4 across the 6 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
cs.AI2024★ 1 cited
The \emph{Optimist}: Towards Fully Automated Graph Theory Research
Randy Davila
This paper introduces the \emph{Optimist}, an autonomous system developed to advance automated conjecture generation in graph theory. Leveraging mixed-integer programming (MIP) and…
math.CO2024★ 1 cited
Automated conjecturing with \emph{TxGraffiti}
Randy Davila
\emph{TxGraffiti} is a data-driven, heuristic-based computer program developed to automate the process of generating conjectures across various mathematical domains. Since its crea…
cs.LG2024
Estimating the stability number of a random graph using convolutional neural networks
Randy Davila
Graph combinatorial optimization problems are widely applicable and notoriously difficult to compute; for example, consider the traveling salesman or facility location problems. In…