Directed Neuro-Symbolic Stochastic Execution for Verification of Distributed Parallel AI Programs

Gautham Koorma, Vikas Sharma, George Edwards +1

Distributed parallel Artificial Intelligence (AI) programs expose reliability gaps that conventional testing cannot close: parallel executions are non-deterministic, and AI workloa…