4 papers
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…
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…
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.
The Invisible Hand of Dynamic Market Pricing
Vincent Cohen-Addad, Alon Eden, Michal Feldman +1
Walrasian prices, if they exist, have the property that one can assign every buyer some bundle in her demand set, such that the resulting assignment will maximize social welfare. U…