Research Area AI Algorithms RPI Principal Investigators Mohammed Zaki IBM Principal Investigators Dmitry Krotov, Benjamin Hoover, Hendrik Strobelt Project Year 2024