Все публикации

0:32:36

Data Valuation: A Perturbation-Aware Approach

0:31:21

Information Thresholds in Structure Estimation

0:36:15

Improving Accuracy-Privacy Tradeoff via Model Reprogramming

0:35:55

Majorizing Measures, Codes, and Information

1:02:41

Multicalibration and Outcome Indistinguishability I

0:46:36

Analysis of Core-Guided MaxSat Using Cores and Correction Sets

1:02:56

Trustworthy Automated Reasoning

1:05:11

The Power of Extended Resolution: A Practitioner's Perspective

0:24:01

Exact Covering with Colours

0:31:15

IPASIR-UP: User Propagators for CDCL

1:00:30

CDCL SAT Solving and Applications to Optimization Problems

1:30:45

Building Human Intelligence at Scale, to Save the Next Generation from ChatGPT

1:04:48

Strong Bounds for 3-Progressions

1:38:31

The Quantum Fourier Transform Has Small Entanglement | Quantum Colloquium

1:26:06

What Do the Theory of Computing and the Movies Have in Common?

0:45:15

NP-Hardness of Approximating Meta-Complexity: A Cryptographic Approach

0:12:47

The Power of Randomness in Kolmogorov Complexity

1:00:55

Automatability: The Proof Search Problem

0:21:20

Online Pen Testing

0:20:19

The Complexity of Infinite-Horizon General-Sum Stochastic Games

0:21:00

Decision Making under Miscalibration

0:28:09

'The Problem with Qubits'

0:21:45

'Complexity and Applications of Random Circuit Sampling'

1:34:21

A Polynomial-Time Classical Algorithm for Noisy Random Circuit Sampling