SC23 Home
Close

Contributor

<
Benjamin Valpey
University of Rochester
Presentations
ACM Student Research Competition: Graduate Poster
ACM Student Research Competition: Undergraduate Poster
Posters
A Formal Specification of Tensor Cores via Satisfiability Modulo Theories
3:30pm - 3:39pm Wednesday, 15 November 2023 505
TP