Bhabesh Mali

Nutzung von grossen Sprachmodellen zur effizienten Generierung von Assertions in der elektronischen Designverifikation.