research
∙
04/11/2022
Schwartz-Zippel for multilinear polynomials mod N
We derive a tight upper bound on the probability over 𝐱=(x_1,…,x_μ) ∈ℤ^μ...
share
research
∙
12/05/2018
Computing Bayes-Nash Equilibria in Combinatorial Auctions with Verification
Combinatorial auctions (CAs) are mechanisms that are widely used in prac...
research
∙
02/11/2018
Learning a SAT Solver from Single-Bit Supervision
We present NeuroSAT, a message passing neural network that learns to sol...
research
∙
02/12/2017