INFERENCING VIA NEURAL NETWORKS: A CUTTING-EDGE AGE IN OPTIMIZED AND REACHABLE NEURAL NETWORK FRAMEWORKS