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