实体
Elizabeth Polgreen
Elizabeth Polgreen
PulseAugur coverage of Elizabeth Polgreen — every cluster mentioning Elizabeth Polgreen across labs, papers, and developer communities, ranked by signal.
总计 · 30天
3
90 天内 3
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 3 条
-
FMAS2026 讨论 AI 辅助形式验证
Elizabeth Polgreen 博士将在 FMAS2026 会议上发表演讲。她的演讲题为“Reading Between the Lines of Code”，将深入探讨规范挖掘技术。演讲还将涵盖如何利用人工智能来识别形式验证所必需的属性。
-
FMAS 2026 研讨会宣布受邀演讲嘉宾 Nils Jansen 和 Elizabeth Polgreen
2026 年人工智能与软件工程形式化方法 (FMAS) 研讨会公布了其受邀演讲嘉宾。来自波鸿鲁尔大学和奈梅亨拉德伯德大学的 Nils Jansen 教授，以及来自爱丁堡大学的 Elizabeth Polgreen 博士将发表主题演讲。关于他们具体演讲内容的进一步详情预计将很快公布。
-
Elizabeth Polgreen 博士将在 FMAS2026 上就 AI 综合发表演讲
Elizabeth Polgreen 博士将是 FMAS2026 会议的特邀演讲嘉宾。她的工作侧重于形式化方法和基于机器学习的综合，旨在提高验证过程的可扩展性。