Orr Paradise

Latest

• Models That Prove Their Own Correctness
• Learning Randomized Reductions and Program Properties
• Unsupervised Translation of Emergent Communication
• Semantics and Spatiality of Emergent Communication
• On the Communication Complexity of Secure Multi-Party Computation With Aborts
• Report: A High School Camp on Algorithms and Coding in Jamaica
• A Theory of Unsupervised Translation for Understanding Animal Communication
• Pseudointelligence: A Unifying Framework for Language Model Evaluation
• Uni[MASK]: Unified Inference in Sequential Decision Problems
• Adversarial Poisoning Attacks on Reinforcement Learning-driven Energy Pricing
• Rigid Matrices From Rectangular PCPs
• Responsible Delegation of Computation With User Privacy
• Smooth and Strong PCPs