MoBagel is a key vendor of AI/ML platform (Gartner, 2020) with a mission to empower data teams and enterprises to become AI-driven, and thus the vision of “Think with AI”.With a team consisting of talents from top universities such as Stanford, UC Berkeley, and Oxford, MoBagel has designed and engineered Decanter AI, an AI/ML platform that focuses on automating the entire data analytics process using a next generation of AutoML and time series forecasting technologies to help enterprises quickly build AI-driven data solutions.Through the optimization of efficiency in computing time and memory management, Decanter AI has achieved a computing time and efficiency of 110 times faster than Google AutoML, and 10 to 1000 times faster than using Python Scikit-learn for model building, and at the same time having a much more robust system execution of distributed computing, parallel computing and memory optimization.Decanter AI has helped MoBagel secure key clients and successful cases in the United States, Japan, China and Taiwan with its AI-driven data solutions in Manufacturing, Finance, Insurance, Healthcare, Retail, E-commerce, Telecom, Traveling industries as well as solutions for Sales and Marketing. With a growing customer base that includes SoftBank, ChungHwa Telecom, Advantech, AU Optronics, New Balance and Coca Cola, MoBagel has been selected by Gartner Report - Top 10 Strategic Tech Trends for 2020.Here are some of the credits that MoBagel has received:* Gartner Report - Top 10 Strategic Tech Trends for 2020 : Key Vendor of AI/ML platform* UC Berkeley SkyDeck (UC Berkeley’s premier startup accelerator)* SoftBank Innovation Program (1st Round Winner)* Nokia Innovation Challenge (Top Prize of 400 startups)* Microsoft x Coca-Cola Smart Retail Hackathon (1st Prize in Greater China Region)* Microsoft Accelerator Beijing (1.89% of 1,000 startups)* Plug and Play IoT Expo (1st Prize of 300 startups)* Orange Fab Asia - Tokyo* Intel AI Builder Program

Semi-Formal Verification