I'm a computer science student at Illinois interested in efficient and reliable AI systems. Feel free to reach out with the links below!
Notes
- 2025-12-28 SAT-solving for math
- 2025-12-15 Synthesizing audits for semi-structured reasoning
- 2025-12-10 Optimizing a connect four solver