6 papers
An analytical framework for the Levine hats problem: new strategies, bounds and generalizations
Clément Bouquet, Salah Chikhi, Timothé Charles +2
We study the Levine hat problem, a cooperative puzzle introduced by Lionel Levine in 2010, in which players must simultaneously identify a black hat on their own infinit…
Gradient-based search of quantum phases: discovering unconventional fractional Chern insulators
André Grossi Fonseca, Eric Wang, Sachin Vaidya +3
The discovery and understanding of new quantum phases has time and again transformed both fundamental physics and technology, yet progress often relies on slow, intuition-based the…
TensorCommitments: A Lightweight Verifiable Inference for Language Models
Oguzhan Baser, Elahe Sadeghi, Eric Wang +5
Most large language models (LLMs) run on external clouds: users send a prompt, pay for inference, and must trust that the remote GPU executes the LLM without any adversarial tamper…
Competitively Constructed Planar Graphs
Wesley Pegden, Eric Wang
We introduce and study two Maker-Breaker-like games for constructing planar graphs: the edge drawing game, where two players take turns drawing non-intersecting edges between point…
Multi-Agent Path Finding Among Dynamic Uncontrollable Agents with Statistical Safety Guarantees
Kegan J. Strawn, Thomy Phan, Eric Wang +3
Existing multi-agent path finding (MAPF) solvers do not account for uncertain behavior of uncontrollable agents. We present a novel variant of Enhanced Conflict-Based Search (ECBS)…
Unfolding Boxes with Local Constraints
Long Qian, Eric Wang, Bernardo Subercaseaux +1
We consider the problem of finding and enumerating polyominos that can be folded into multiple non-isomorphic boxes. While several computational approaches have been proposed, incl…