LLM-enabled formal software verification
多伦多
SKILL
免费
大模型与推理
- 时间
- 11-03 18:00（北京 11-04 07:00） · 3 天后
- 时区
- America/Toronto
- 地点
- Ontario
- 城市
- 多伦多 Canada
- 主办
- Jasmine Ren
- 门票
- 免费
- 报名人数
- 23
- 本站评分
- 价值分 71
为什么值得去
- 已有 23 人报名/关注
- SKILL 技能型：能带走可复用能力
适合谁 / 注意事项
- 想补技能/作品集的开发者与产品人
- 线下活动：注意场地变更，以主办方页面为准
自动摘要
Toronto, ON LLM-enabled formal software verification