Bhabesh Mali

電子設計検証の効率的なアサーション生成のための大規模言語モデルの活用。