Avatar

Orr Paradise

Hi,

🎓 I am a PhD student at the UC Berkeley Theory of Computation group, advised by Shafi Goldwasser and Avishay Tal. Before, I completed my MSc at the Weizmann Institute of Science, advised by Oded Goldreich.

🐳 I do Theoretical Analysis at CETI, a nonprofit listening project for deciphering the communication of sperm whales.

🇯🇲 I’m also Head TA at JamCoders, a free summer camp on algorithms for high schoolers in Kingston, Jamaica.

My pronouns are he/him.

Publications

Authors ordered alphabetically unless noted otherwise

Models That Prove Their Own Correctness


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

Preprint Code Talk at Simons

Semantics and Spatiality of Emergent Communication


NeurIPS 2024.

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

Talks

Searching for Optimal PCPs

Adversarial Poisoning Attacks on RL-driven energy pricing

Two New PCPs and Their Applications

Rigid Matrices From Rectangular PCPs

Teaching

Taught:

TA’ed:

Contact