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

'accur':35,65 'ai':19,41,49,71 'artifici':17,39,47,69 'build':34,64 'code':11,24,54 'comput':9,14,44 'download':1,13 'educ':28,58 'formal':26,56 'generat':12,25,55 'intellig':18,40,48,70 'interpret':38,68 'languag':5 'larg':4 'llms':7 'model':6 'output':42,72 'purpos':31,61 'reason':23,53 'record':43 'research':30,60 'softwar':2,10,15,45 'use':3,16,21,46,51 'verif':27,57 'verifi':36,66

ARISTOTLE

Owner

Goods & Services