REASONING USING AUTOMATED REASONING: A PIONEERING WAVE ENABLING SWIFT AND UBIQUITOUS AI MODELS