Guy N. Rothblum

On the Impossibility of Separating Intelligence from Judgment: The Computational Intractability of Filtering for AI Alignment

PREAMBLE: Private and Efficient Aggregation via Block Sparse Vectors

How to Verify Any (Reasonable) Distribution Property: Computationally Sound Argument Systems for Distributions

Local Pan-privacy for Federated Analytics

A Theory for Worst-Case vs. Average-Case Guarantees for LLMs

Models That Prove Their Own Correctness