3 citations · 3 across the 5 of their papers we have counts for
1 paper · 1 filter
Naci Cankaya, Jakub Kryś, Jonathan Ng +2
In preparation for potential international agreements on artificial intelligence, the development of verification infrastructure for AI data centres is vital. We propose a method f…