AUTOMATED REASONING ANALYSIS: THE NEXT BOUNDARY IN REACHABLE AND OPTIMIZED DEEP LEARNING DEPLOYMENT