Classification Information
Software featuring artificial intelligence capabilities for reasoning, code generation, formal verification, educational, or research purposes, and for building accurate, verifiable and interpretable AI outputs.
Electrical and Scientific Apparatus