Filters

View as

Event Views Navigation

Today

Latest Past Events

ASSET Seminar: “Advancing Diffusion Models for Text Generation”

Raisler Lounge (Room 225), Towne Building 220 South 33rd Street, Philadelphia

Abstract: Transformer-based language models have undoubtedly become the dominant and favorite architecture for language generation of our time. However, although they provide impressive text quality, they tend to be hard […]

CIS Seminar: “Scaling Machine-Checkable Systems Verification in Coq”

Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia

System software like operating systems and hypervisors forms the critical backbone of our computing infrastructure. However, due to their size and complexity, these systems often contain vulnerabilities that can compromise […]

Latest Past Events

ASSET Seminar: “Advancing Diffusion Models for Text Generation”

Raisler Lounge (Room 225), Towne Building 220 South 33rd Street, Philadelphia

Abstract: Transformer-based language models have undoubtedly become the dominant and favorite architecture for language generation of our time. However, although they provide impressive text quality, they tend to be hard […]

CIS Seminar: “Scaling Machine-Checkable Systems Verification in Coq”

Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia

System software like operating systems and hypervisors forms the critical backbone of our computing infrastructure. However, due to their size and complexity, these systems often contain vulnerabilities that can compromise […]