Black-box Constructive Proofs are Unavoidable
Simons Institute Simons Institute
59.2K subscribers
1,546 views
0

 Published On Jan 12, 2023

Authors: Lijie Chen (UC Berkeley); Ryan Williams (MIT); Tianqi Yang (Tsinghua University)
ITCS - Innovations in Theoretical Computer Science

show more

Share/Embed