activity
20062023
most citedHypercontractivity, Sum-of-Squares Proofs, and their Applications

193 citations · 549 across the 24 of their papers we have counts for

collaborators
Showing 2020Show all

5 papers · 1 filter

cs.LG2020★ 7 cited

For self-supervised learning, Rationality implies generalization, provably

Yamini Bansal, Gal Kaplun, Boaz Barak

We prove a new upper bound on the generalization gap of classifiers that are obtained by first using self-supervision to learn a representation of the training data, and then f…

physics.soc-ph2020★ 3 cited

Optimizing testing policies for detecting COVID-19 outbreaks

Janni Yuval, Mor Nitzan, Neta Ravid Tannenbaum +1

The COVID-19 pandemic poses challenges for continuing economic activity while reducing health risks. While these challenges can be mitigated through testing, testing budget is ofte…

cs.CC2020

Playing Unique Games on Certified Small-Set Expanders

Mitali Bafna, Boaz Barak, Pravesh Kothari +2

We give an algorithm for solving unique games (UG) instances whenever low-degree sum-of-squares proofs certify good bounds on the small-set-expansion of the underlying constraint g…

quant-ph2020

Spoofing Linear Cross-Entropy Benchmarking in Shallow Quantum Circuits

Boaz Barak, Chi-Ning Chou, Xun Gao

The linear cross-entropy benchmark (Linear XEB) has been used as a test for procedures simulating quantum circuits. Given a quantum circuit with inputs and outputs and purp…

cs.LO2020

On Higher-Order Cryptography (Long Version)

Boaz Barak, Raphaëlle Crubillé, Ugo Dal Lago

Type-two constructions abound in cryptography: adversaries for encryption and authentication schemes, if active, are modeled as algorithms having access to oracles, i.e. as second-…