TY  - RPRT
TI  - Directed Neuro-Symbolic Stochastic Execution for Verification of Distributed Parallel AI Programs
AU  - Gautham Koorma
AU  - Vikas Sharma
AU  - George Edwards
AU  - Mahdi Eslamimehr
PY  - 2026
UR  - https://arxiv.org/abs/2608.07947
ID  - 2608.07947
ER  -