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

Programming languages and machine learning

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

PoC-Gym: Towards More Reliable LLM-Assisted Proof-of-Concept Exploit Generation [Paper]
Derin Gezgin, Amartya Das, Shinhae Kim, Zhengdong Huang, Nevena Stojkovic, Claire Wang. LLM4SE Workshop, STAF 2026

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

Music, proofs, and code (for fun)

Prismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4 [Paper] [Code]
Leni Aniva, Claire Wang. FARM Workshop, ICFP 2026

Demo: Rocq N'Roll [Paper] [Code]
Roger Burtonpatel, Claire Wang. FARM Workshop, ICFP 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