|
|
Toward Effective and Efficient Transformer-Based Multimodal Reasoning Friday, March 20, 2026 - 3:00pm to 4:00pm Transformer-based models have become the dominant architecture for modeling complex relationships across a wide range of data modalities, including text, graphs, and knowledge bases. |
|
|
Simpler hardness proofs via gadget frameworks Friday, April 3, 2026 - 10:00am to 11:00am In this thesis, I consider the general notion of a "gadget framework," which is roughly a family of hard problems that are useful as sources of reductions, where such reductions consist of implementations of a set of "gadgets," and especially when there is a notion of |
|
|
Thesis Defense: Lali Devadas Wednesday, May 6, 2026 - 2:00pm to 3:00pm TBA |
|
|
Thesis Defense: Dhruv Rohatgi Monday, May 4, 2026 - 3:00pm to 4:00pm TBA |
|
|
Thesis Defense: Rachel Zhang Monday, May 4, 2026 - 1:00pm to 2:00pm TBA |
|
|
Thesis Defense: Maxwell Fishelson Friday, May 1, 2026 - 10:00am to 11:00am TBA |
|
|
Thesis Defense: Neekon Vafa Thursday, April 30, 2026 - 2:00pm to 3:00pm TBA |
|
|
Probabilistically Checkable Proofs and Applications Wednesday, April 29, 2026 - 10:00pm to 11:00pm Probabilistically Checkable Proofs (PCPs) are proof systems that allow a verifier to check the correctness of a proof by reading only a few locations — sometimes as few as two. |
|
|
Marrying Worst-Case Analysis and Machine Learning Monday, April 27, 2026 - 3:00pm to 4:00pm Worst-case analysis, the de-facto standard in the analysis of algorithms, certifies that an algorithm is correct and efficient on any possible input. |
|
|
Thesis Defense: Prashant Vasudevan: Fine-Grained Cryptography Monday, July 16, 2018 - 2:45pm to 3:15pm Abstract: |