Nikhil Vyas

activity

20162023

most citedOn Provable Copyright Protection for Generative Models

21 citations · 33 across the 9 of their papers we have counts for

collaborators

Showing 2020Show all

2 papers · 1 filter

cs.DS2020★ 1 cited

Fast Low-Space Algorithms for Subset Sum

Ce Jin, Nikhil Vyas, Ryan Williams

We consider the canonical Subset Sum problem: given a list of positive integers $a_{1}, \dots, a_{n}$ and a target integer $t$ with $t > a_{i}$ for all $i$ , determine if there is an $S \s…

cs.CC2020★ 2 cited

Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of $#$ SAT Algorithms

Nikhil Vyas, Ryan Williams

We continue the program of proving circuit lower bounds via circuit satisfiability algorithms. So far, this program has yielded several concrete results, proving that functions in…

Fast Low-Space Algorithms for Subset Sum

Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms

Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of $#$ SAT Algorithms