Bhabesh Mali

Sfruttare i grandi modelli linguistici per generare in modo efficiente asserzioni nella verifica del design elettronico.