Speaker
Ricardo Silva
More Information:
Talks at this conference:
| Fri, 15:00 | Verified Tensor Operators for Safety-Critical ML: From Specification to Reference Implementation |
Speaker
| Fri, 15:00 | Verified Tensor Operators for Safety-Critical ML: From Specification to Reference Implementation |