2026 07 24 ai research seminar talk

Presented “Human-AI Collaboration for Proving Theorems and Writing Papers” at the AI-Accelerated Research in Operations seminar series, which I co-organize. The series explores how AI is changing the way we do research. Recordings of past sessions and the mailing list to join future ones are on the seminar page.