U.S. federal trademark · Serial No. 99452609
Software featuring artificial intelligence capabilities for reasoning, code generation, formal verification, educational, or research purposes, and for building accurate, verifiable and interpretable AI outputs.
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.