Artificial intelligence has advanced rapidly over the last year as evidenced by large language models (LLMs) like GPT-4, Claude 2.0, Gemini and Pi. These models can generate impressively human-like text on a vast range of topics when prompted. However, some limitations remain when it comes to specialized reasoning abilities. These LLMs still struggle with getting exact answers to questions requiring math, logic, or other complex reasoning. They also…