Mae Milano
Home
CV
Projects
Publications
Talks
Posts
Teaching
Building Bridges: Safe Interactions with Foreign Languages through Omniglot
Leon Schuermann
,
Jack Toubes
,
Tyler Potyondy
,
Pat Pannuto
,
Mae Milano
,
Amit Levy
Last updated on
Jun 2, 2025
PDF
Project
Type
Journal article (or equivalent)
Publication
19th USENIX Symposium on Operating Systems Design and Implementation
Date
July, 2025
Next
Interactive Theorem Provers for Proof Education
Previous
Flo: A Semantic Foundation for Progressive Stream Processing
Cite
×