4 citations · 4 across the 8 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…