research
∙
07/11/2023
Self-consistency for open-ended generations
In this paper, we present a novel approach for improving the quality and...
share
research
∙
10/26/2022
Multi-lingual Evaluation of Code Generation Models
We present MBXP, an execution-based code completion benchmark in 10+ pro...
research
∙
07/29/2022
Communication Complexity of Collision
The Collision problem is to decide whether a given list of numbers (x_1,...
research
∙
05/04/2022
Separations in Proof Complexity and TFNP
It is well-known that Resolution proofs can be efficiently simulated by ...
research
∙
02/15/2022
Further Collapses in TFNP
We show =∩. Here the class consists of all total search problems that r...
research
∙
02/16/2021
Unambiguous DNFs and Alon-Saks-Seymour
We exhibit an unambiguous k-DNF formula that requires CNF width Ω̃(k^2),...
research
∙
03/19/2020
Overinterpretation reveals image classification model pathologies
Image classifiers are typically scored on their test set accuracy, but h...
research
∙
02/18/2020
Information Condensing Active Learning
We introduce Information Condensing Active Learning (ICAL), a batch mode...
research
∙
11/30/2019
Inapproximability of Additive Weak Contraction under SSEH and Strong UGC
Succinct representations of a graph have been objects of central study i...
research
∙
06/18/2019
Maximizing Overall Diversity for Improved Uncertainty Estimates in Deep Ensembles
The inaccuracy of neural network models on inputs that do not stem from ...
research
∙
10/09/2018