alexchengyuli
Joined 5 months ago, with 9 karma
Submissions
Comments
Favorites
Follow via RSS
CS background (NYU). Interested in SAT solvers, combinatorics, and AI reasoning.