Download Docs
Export
Print

ARISTOTLE

99619530 | Trademark

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 Jan. 28, 2026
Serial No. 99619530
Examining Attorney BARBARA TROFFKIN BROWN
Class Downloadable computer 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; Recorded computer 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; 021; 023; 026; 036; 038
ARISTOTLE
Case Type Trademark
Status Applicant's response to a non-final Office action has been entered. The application is being returned to the examining attorney for further review. To view all documents in this file, click on the Trademark Document Retrieval link at the top of this page.
Last Updated: 1 day, 21 hours ago
Filing Date # Docket Text