U.S. federal trademark · Serial No. 99348900
Software as a service (SAAS) services featuring software using artificial intelligence (AI) for the development of logical, mathematical, and computational frameworks.
Downloadable computer software using artificial intelligence (AI) for symbolic reasoning, mathematical proof verification, and theorem proving.
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.