COMPUTING USING AUTOMATED REASONING: A NEW CHAPTER IN STREAMLINED AND REACHABLE NEURAL NETWORK SOLUTIONS