Authors: Leah Hoffmann
Published: 2024-01-29
DOI: 10.1145/3639575
Source: Full article
Yael Tauman Kalai on her career, proof systems, and certifying correctness.