← Back

alexchengyuli

Member since 2026 • Karma: 9 • 6 submissions
CS background (NYU). Interested in SAT solvers, combinatorics, and AI reasoning.