user:alexchengyuli
created:Mar 22, 2026
karma:9
about:

CS background (NYU). Interested in SAT solvers, combinatorics, and AI reasoning.