Verification of Machine Learning Programs via Bitwise-Reproducible Operators
Arasu Arun1,2, Adam St Arnaud2, Jacob Lin2, Alexey Titov2, Brian Wilcox2, Viktor Kolobaric2, Marc Brinkmann2, Oguzhan Ersoy2, Ben Fielding2, Joseph Bonneau1 1: New York University, 2: Gensyn AI