1 citations · 1 across the 1 of their papers we have counts for
4 papers
Finding Bugs in Short Proofs: The Metamathematics of Resolution Lower Bounds
Jiawei Li, Yuhao Li, Hanlin Ren
We study the *refuter* problems for proof complexity lower bounds. Suppose is a hard tautology that does not admit any length- proof in some proof system . In the corres…
Pseudo-deterministic Quantum Algorithms
Hugo Aaronson, Tom Gur, Jiawei Li
We initiate a systematic study of pseudo-deterministic quantum algorithms. These are quantum algorithms that, for any input, output a canonical solution with high probability. Focu…
Total Search Problems in
Noah Fleming, Stefan Grosser, Siddhartha Jain +4
We initiate a systematic study of , the class of total search problems solvable by polynomial time randomized algorithms. contains a variety o…
Adversarial Attacks on Combinatorial Multi-Armed Bandits
Rishab Balasubramanian, Jiawei Li, Prasad Tadepalli +3
We study reward poisoning attacks on Combinatorial Multi-armed Bandits (CMAB). We first provide a sufficient and necessary condition for the attackability of CMAB, a notion to capt…