Download Docs
Export
Print

Design

50175924 | Trademark citeCite Docket

Interested in this case?

To schedule a demo, contact us at sales@docketalarm.com. Track this case, and find millions of cases like it, let us show you how.
Filed Oct. 22, 2026
Serial No. 50175924
Class Artificial intelligence as a service (AIAAS) services featuring software using artificial intelligence (AI) for use in automated theorem proving, formal mathematical reasoning, mathematical proof generation and verification, and formal verification of software code for mathematical research and education in the fields of mathematics, computer science, cryptography, and physics, and for building accurate, verifiable or interpretable artificial intelligence (AI) outputs; 100; 101
Design
Case Type Service mark
Status New application awaiting assignment to an examining attorney. <a href="https://www.uspto.gov/dashboard/trademarks/application-timeline.html">See current trademark processing wait times </a> for more information.
Last Updated: 1 week ago
Filing Date # Docket Text
to view the full docket.