Nike Sun

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 12

Top Topics

Inference Mechanism

Davis Putnam Logemann Loveland

Terminological Reasoning

Satisfiability Problem

Top Venues

Publications

Elchanan Mossel, Jonathan Niles-Weed, Youngtak Sohn, Nike Sun, Ilias Zadik
Sharp thresholds in inference of planted subgraphs. CoRR (2023)
Shuta Nakajima, Nike Sun
Sharp threshold sequence and universality for Ising perceptron models. SODA (2023)
Elchanan Mossel, Jonathan Niles-Weed, Youngtak Sohn, Nike Sun, Ilias Zadik
Sharp thresholds in inference of planted subgraphs. COLT (2023)
Elchanan Mossel, Jonathan Niles-Weed, Nike Sun, Ilias Zadik
A second moment proof of the spread lemma. CoRR (2022)
Erwin Bolthausen, Shuta Nakajima, Nike Sun, Changji Xu
Gardner formula for Ising perceptron models at small densities. COLT (2022)
Elchanan Mossel, Jonathan Niles-Weed, Nike Sun, Ilias Zadik
On the Second Kahn-Kalai Conjecture. CoRR (2022)
Nike Sun
Statistical physics of random CSPs (tutorial). STOC (2021)
Jian Ding, Nike Sun
Capacity lower bound for the Ising perceptron. STOC (2019)
Zsolt Bartha, Nike Sun, Yumeng Zhang
Breaking of 1RSB in Random Regular MAX-NAE-SAT. FOCS (2019)
Andrea Montanari, Nike Sun
Spectral algorithms for tensor completion. CoRR (2016)
Allan Sly, Nike Sun, Yumeng Zhang
The Number of Solutions for Random Regular NAE-SAT. FOCS (2016)
Jian Ding, Allan Sly, Nike Sun
Proof of the Satisfiability Conjecture for Large k. STOC (2015)
Jian Ding, Allan Sly, Nike Sun
Satisfiability threshold for random regular NAE-SAT. STOC (2014)
Jian Ding, Allan Sly, Nike Sun
Proof of the satisfiability conjecture for large k. CoRR (2014)
Allan Sly, Nike Sun
The Computational Hardness of Counting in Two-Spin Models on d-Regular Graphs. FOCS (2012)
Allan Sly, Nike Sun
The computational hardness of counting in two-spin models on d-regular graphs CoRR (2012)
Amir Dembo, Andrea Montanari, Nike Sun
Factor models on locally tree-like graphs CoRR (2011)