When AI met AR – Clark Barrett
Автор: Horizon Omega
Загружено: 2025-11-13
Просмотров: 128
Описание:
When AI met AR
Clark Barrett – Director, Stanford Center for Automated Reasoning and co-director, Stanford Center for AI Safety
Artificial Intelligence (AI) and Automated Reasoning (AR) are two fields that have made great strides in recent years. In this talk, we will explore how they can be used together to help address AI Safety.
Recommended readings:
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning https://arxiv.org/abs/2305.11087
Clover: Closed-Loop Verifiable Code Generation https://theory.stanford.edu/~barrett/...
---
The monthly seminar series on Guaranteed Safe AI brings together researchers to advance the field of building AI with high-assurance quantitative safety guarantees.
https://horizonevents.info/events/gua...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
