3 papers
cs.AI2026
Solving an Open Problem in Theoretical Physics using AI-Assisted Discovery
Michael P. Brenner, Vincent Cohen-Addad, David Woodruff
This paper demonstrates that artificial intelligence can accelerate mathematical discovery by autonomously solving an open problem in theoretical physics. We present a neuro-symbol…
cs.DS2022
Graph Searching with Predictions
Siddhartha Banerjee, Vincent Cohen-Addad, Anupam Gupta +1
Consider an agent exploring an unknown graph in search of some goal state. As it walks around the graph, it learns the nodes and their neighbors. The agent only knows where the goa…
math.CO2016
Steinberg's Conjecture is false
Vincent Cohen-Addad, Michael Hebdige, Daniel Kral +2
Steinberg conjectured in 1976 that every planar graph with no cycles of length four or five is 3-colorable. We disprove this conjecture.