Ataraxos, an AI for the board wargame Stratego, establishes a design pattern for reinforcement learning and search that is effective under large amounts of hidden information, a longstanding desiderat...

On AI agents, grunt work, and the part of science that isn't replaceable.

A growing number of U.S. college instructors are turning to oral exams to help combat an AI crisis in higher education.

“Next time, I’ll be back with a gas mask.”

The official home of the Python Programming Language

Narrowing the gap between theory and practice is a longstanding goal of the algorithm analysis community. To further progress our understanding of how algorithms work in practice, we propose a new alg...

We propose a novel enhancement to Benders Decomposition (BD) that generates valid inequalities for the convex hull of the Benders reformulation, addressing a key limitation of conventional BD-its cuts...

Track the progress on Project 2025