CSE590S: System Seminar

Welcome. Please visit here for basic course information and links to the webs for earlier quarters.

This quarter, 590s will focus on using AI for systems building (also known as self-defining systems). We will meet Fridays at 3pm in CSE403 and on Zoom.

Agenda:

• 9/26: Intro on AI use in systems design and research
  
  • The Bitter Lesson
  • Mathematical discoveries from program search with large language models (FunSearch)
  • AlphaEvolve: A coding agent for scientific and algorithmic discovery
• 10/3: “Pre-history”
  • AlphaGo
  • AlphaGo Zero
  • AlphaFold: Highly accurate protein structure prediction
  • AlphaDev: Faster sorting algorithms discovered using deep reinforcement learning
• 10/10: Problem specification
  • Autoformalization with Large Language Models
  • Specifications: The missing link to making the development of LLM systems an engineering discipline
  • Autonomous Code Evolution Meets NP-Completeness
• 10/17: AI-Driven Coding Agent Results
  
  • Gemini 2.5 Pro Capable of Winning Gold at IMO 2025
  • MLGym: A New Framework and Benchmark for Advancing AI Research Agents
  • Code Researcher: Deep Research Agent for Large Systems Code and Commit History
• 10/24: AI-Driven AI Systems
  • Automated Design of Agentic Systems
  • Darwin Godel Machine: Open-Ended Evolution of Self-Improving Agents
  • An AI system to help scientists write expert-level empirical software
• 10/31: AI-Driven Systems
  • AlphaGo Moment for Model Architecture Discovery
  • Chip Placement with Deep Reinforcement Learning — PDF · DeepMind blog
  • AI Native Infrastructure Automation