36 citations · 46 across the 4 of their papers we have counts for
4 papers
Lightsolver challenges a leading deep learning solver for Max-2-SAT problems
Hod Wirzberger, Assaf Kalinski, Idan Meirzada +4
Maximum 2-satisfiability (MAX-2-SAT) is a type of combinatorial decision problem that is known to be NP-hard. In this paper, we compare LightSolver's quantum-inspired algorithm to…
Semantic uncertainty intervals for disentangled latent spaces
Swami Sankaranarayanan, Anastasios N. Angelopoulos, Stephen Bates +2
Meaningful uncertainty quantification in computer vision requires reasoning about semantic information -- say, the hair color of the person in a photo or the location of a car on t…
Example-Based Image Synthesis via Randomized Patch-Matching
Yi Ren, Yaniv Romano, Michael Elad
Image and texture synthesis is a challenging task that has long been drawing attention in the fields of image processing, graphics, and machine learning. This problem consists of m…
Convolutional Neural Networks Analyzed via Convolutional Sparse Coding
Vardan Papyan, Yaniv Romano, Michael Elad
Convolutional neural networks (CNN) have led to many state-of-the-art results spanning through various fields. However, a clear and profound theoretical understanding of the forwar…