I'm an Illinois CS alum interested in fast and trustworthy AI systems. Feel free to reach out!
Notes
- 2026-02-16 Generating reusable program optimizations with LLMs
- 2025-12-28 SAT-solving for math
- 2025-12-15 Synthesizing audits for semi-structured reasoning
- 2025-12-10 Optimizing a connect four solver