Publications

Models That Prove Their Own Correctness


In submission; (Oral) Theoretical Foundations of Foundation Models @ ICML ‘24, (Oral) Humans, Algorithmic Decision-Making and Society @ ICML ‘24.

Preprint Code Talk at Simons

Learning Randomized Reductions and Program Properties


In submission.

Preprint

Unsupervised Translation of Emergent Communication


AAAI 2025.

Semantics and Spatiality of Emergent Communication


NeurIPS 2024.

Preprint

On the Communication Complexity of Secure Multi-Party Computation With Aborts


PODC 2024.

Conference Preprint

Report: A High School Camp on Algorithms and Coding in Jamaica


SIGCSE 2024.

Conference Preprint

A Theory of Unsupervised Translation for Understanding Animal Communication


NeurIPS 2023; (Spotlight) InfoCog @ NeurIPS 2022; ENLSP @ NeurIPS 2022; Math of Neuro 2022.

Conference Preprint Code Poster

Pseudointelligence: A Unifying Framework for Language Model Evaluation


(Findings) EMNLP 2023; (Selected) GEM @ EMNLP 2023.

Conference Preprint Poster

Uni[MASK]: Unified Inference in Sequential Decision Problems


(Oral) NeurIPS 2022; GPLPW @ ICLR 2022.

Conference Preprint Code Poster

Adversarial Poisoning Attacks on Reinforcement Learning-driven Energy Pricing


BuildSys 2022; MLSafety @ NeurIPS 2022; RLDM 2022; CEMA 2022.

Conference Poster

Rigid Matrices From Rectangular PCPs


SIAM J. Comput. (2024); FOCS 2020.

Journal Conference Preprint Talk at FOCS Prahladh's talk at IAS

Smooth and Strong PCPs


Comput. Complex. (2021); ITCS 2020.

Journal Conference Preprint Oded's choice