Karthik Maddala

Aprovechando grandes modelos de lenguaje para la generación eficiente de afirmaciones en la verificación de diseño electrónico.