ARISTOTLE

Downloadable software using large language models (LLMs) for computer software code generation; Downloadable computer software using artificial intelligence (AI) for use in reasoning, code generation, formal verification, educational, or research purposes, and for building accurate, verifiable and interpretable artificial intelligence (AI) outputs; Recorded computer software using artificial intelligence (AI) for use in reasoning, code generation, formal verification, educational, or research purposes, and for building accurate, verifiable and interpretable artificial intelligence (AI) outputs