GSAI Seminar November 2025 – When AI met AR (Clark Barrett)
3 views
Skip to first unread message
Orpheus Lummis
Oct 6, 2025, 8:39:15 AM (9 days ago) Oct 6
to guaranteed-safe-ai
You are invited to the November 2025 edition of the Guaranteed Safe AI Seminars:
When AI met AR
Clark Barrett – Director, Stanford Center for Automated Reasoning and co-director, Stanford Center for AI Safety
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/pubs/SSP+24.pdf
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/pubs/SSP+24.pdf
Reply all
Reply to author
Forward
0 new messages