Search

Home
Publications
Honors
Mentoring

Light Dark Automatic

Jan 1, 0001

Iris Ma

Research & Teaching Assistant

My research interests include program verification, LLM application, and LLM testing.

© 2024 Me. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite