Hi I'm Claire.

Professional headshot

CS PhD student at UPenn and NSF CSGrad4US Fellow. Ex backend engineer (5 yrs).

Email - [email protected]

Research interests - Combining machine learning with program analysis, synthesis, testing, and verification. Also music and dependent types.

If interested in collaboration, please reach out by e-mail.

Publications

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities [Paper] [Code]
Claire Wang, Ziyang Li, Saikat Dutta, Mayur Naik. ICLR 2026

Demo: Rocq N'Roll [Paper] [Code]
Roger Burtonpatel, Claire Wang. FARM Workshop, ICFP 2025

Dolphin: A Programmable Framework for Scalable Neurosymbolic Learning [Paper] [Code]
Aaditya Naik, Jason Liu, Claire Wang, Amish Sethi, Saikat Dutta, Mayur Naik, Eric Wong. ICML 2025

Projects

Misc

San Francisco Opera

Former Board member of SF Opera Bravo! Club - we are a young professionals club for anyone under 45 with discounts to the SF Opera and lots of events!

Running

If I were a Springer-Verlag Graduate Text in Mathematics, I would be William S. Massey's A Basic Course in Algebraic Topology.

I am intended to serve as a textbook for a course in algebraic topology at the beginning graduate level. The main topics covered are the classification of compact 2-manifolds, the fundamental group, covering spaces, singular homology theory, and singular cohomology theory. These topics are developed systematically, avoiding all unecessary definitions, terminology, and technical machinery. Wherever possible, the geometric motivation behind the various concepts is emphasized.

Which Springer GTM would you be? The Springer GTM Test