2 papers
cs.DS2026
One Discrete Gaussian Sample in Time
Jiseung Kim
Aggarwal, Dadush, Regev, and Stephens-Davidowitz (ADRS; STOC 2015) sample discrete Gaussians at an arbitrary parameter in time, and above smoothing in $2^{n/…
cs.FL2010
A proof Procedure for Testing Membership in Regular Expressions
Keehang Kwon, Hong Pyo Ha, Jiseung Kim
We propose an algorithm that test membership for regular expressions and show that the algorithm is correct. This algorithm is written in the style of a sequent proof system. The a…