Research team debuts the first deterministic streaming algorithms for non-monotone submodular maximization, delivering superior approximation ratios with minimal memory and real-time throughput on ...

There are hundreds of cell types in the human body, each with a specific role spelled out in their DNA. In theory, all it ...

By leveraging inference-time scaling and a novel "reflection" mechanism, ALE-Agent solves the context-drift problems that ...

We might be witnessing the start of a new computing era where AI, cloud and quantum begin to converge in ways that redefine ...

Quantum computing is no longer just a distant scientific concept—it’s steadily evolving into a transformative technology with ...

Welcome to the website of the CS theory group at CU Boulder! Our faculty and students research all aspects of theoretical computer science, from core areas such as algorithms, complexity, and ...