2 papers
cs.CC2020
Distributed Verifiers in PCP
Nagaganesh Jaladanki, Wilson Wu
Traditional proof systems involve a resource-bounded verifier communicating with a powerful (but untrusted) prover. Distributed verifier proof systems are a new family of proof mod…
cs.LG2019
Analyzing and Improving Neural Networks by Generating Semantic Counterexamples through Differentiable Rendering
Lakshya Jain, Varun Chandrasekaran, Uyeong Jang +6
Even as deep neural networks (DNNs) have achieved remarkable success on vision-related tasks, their performance is brittle to transformations in the input. Of particular interest a…