U.S. federal trademark · Serial No. 99348912
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.