Oltre la matematica: Aristotele raggiunge il SOTA del 96,8% nella generazione di prove su VERINA: Benchmarking della Generazione di Codice Verificabile. Puoi leggere di più su questa performance nel nostro blog ingegneristico linkato nella bio