Formally verifying AI-generated GPU kernels

2 pointsposted 8 hours ago
by nserrino
(gimletlabs.ai)

No comments yet