alexchengyuli
since 3/22/2026
4 karma
submissionscommentsfavorites
CS background (NYU). Interested in SAT solvers, combinatorics, and AI reasoning.