
Current speakers
Current speakers

Pramod Viswanath
Princeton University,
Professor

Pramod Viswanath
Princeton University,
Professor

Pramod Viswanath
Princeton University,
Professor

Sewoong Oh
Sewoong Oh
Sewoong Oh
University of Washington, Professor
University of Washington, Professor
University of Washington, Professor

Peiyao Sheng
Peiyao Sheng
Peiyao Sheng
University of Illinois at Urbana-Champaign, PhD
University of Illinois at Urbana-Champaign, PhD
University of Illinois at Urbana-Champaign, PhD

Salah Alzubi
University of Massachusetts Amherst,
MS

Salah Alzubi
University of Massachusetts Amherst,
MS

Salah Alzubi
University of Massachusetts Amherst,
MS

Atefeh Sohrabizadeh
NVIDIA,
Research Scientist

Atefeh Sohrabizadeh
NVIDIA,
Research Scientist

Atefeh Sohrabizadeh
NVIDIA,
Research Scientist

Jialin Song
NVIDIA,
Research Scientist

Jialin Song
NVIDIA,
Research Scientist

Jialin Song
NVIDIA,
Research Scientist

John Yang
Stanford University,
PhD

John Yang
Stanford University,
PhD

John Yang
Stanford University,
PhD

Mike Merrill
Stanford University,
Postdoctoral Researcher

Mike Merrill
Stanford University,
Postdoctoral Researcher

Mike Merrill
Stanford University,
Postdoctoral Researcher

Ryan Marten
Bespoke Labs,
Founding Engineer

Ryan Marten
Bespoke Labs,
Founding Engineer

Ryan Marten
Bespoke Labs,
Founding Engineer

Zerui Cheng
Princeton University,
PhD

Zerui Cheng
Princeton University,
PhD

Zerui Cheng
Princeton University,
PhD

Zhuolin Yang
NVIDIA,
Research Scientist

Zhuolin Yang
NVIDIA,
Research Scientist

Zhuolin Yang
NVIDIA,
Research Scientist

Negin Raoof
UC Berkeley,
PhD

Negin Raoof
UC Berkeley,
PhD

Negin Raoof
UC Berkeley,
PhD

Tu Vu
Virginia Tech,
Assistant Professor

Tu Vu
Virginia Tech,
Assistant Professor

Tu Vu
Virginia Tech,
Assistant Professor
previous speakers
previous speakers

Andrew Miller
Andrew Miller
Andrew Miller
University of Illinois at Urbana-Champaign
University of Illinois at Urbana-Champaign
University of Illinois at Urbana-Champaign

Niusha Moshrefi
Niusha Moshrefi
Niusha Moshrefi
Princeton University
Princeton University
Princeton University

Ananda Theertha Suresh
Ananda Theertha Suresh
Ananda Theertha Suresh
Google Research
Google Research
Google Research



Dawn Song
Dawn Song
Dawn Song
University of California at Berkeley
University of California at Berkeley
University of California at Berkeley

Atlas Wang
Atlas Wang
Atlas Wang
University of Texas at Austin
University of Texas at Austin
University of Texas at Austin

Ahmad Beirami
Ahmad Beirami
Ahmad Beirami
Google Research
Google Research
Google Research

Ofir Press
Ofir Press
Ofir Press
Princeton University
Princeton University
Princeton University



Yangsibo Huang
Yangsibo Huang
Yangsibo Huang
Google Research
Google Research
Google Research

Agenda
Agenda
3:00 PM - 3:30 PM
Registration and Snacks
3:00 PM - 3:30 PM
Registration and Snacks
3:30 PM - 3:40 PM
Welcome and Workshop Overview
Pramod Viswanath (Princeton University and Sentient)
3:30 PM - 3:40 PM
Welcome and Workshop Overview
Pramod Viswanath (Princeton University and Sentient)
3:40 PM - 4:20 PM
Al for Coding: Competitive Programming
Zerui Cheng (Princeton University) – LiveCodeBench Pro: How Do Olympiad Medalists Judge LLMs in Competitive Programming?
4:00: Zhuolin Yang (Nvidia) – AceReason-Nemotron: Advancing Math and Code Reasoning through Reinforcement Learning
3:40 PM - 4:20 PM
Al for Coding: Competitive Programming
Zerui Cheng (Princeton University) – LiveCodeBench Pro: How Do Olympiad Medalists Judge LLMs in Competitive Programming?
4:00: Zhuolin Yang (Nvidia) – AceReason-Nemotron: Advancing Math and Code Reasoning through Reinforcement Learning
4:20 PM - 5:00 PM
Al for Coding: Engineering-scale Coding
4:20: John Yang (Stanford University) – SWE-smith: Scaling Data for Software Engineering Agents
4:40: Atefeh Sohrabizadeh & Jialin Song (Nvidia) – Nemotron-CORTEXA: Enhancing LLM Agents for Software Engineering Tasks via Improved Localization and Solution Diversity
4:20 PM - 5:00 PM
Al for Coding: Engineering-scale Coding
4:20: John Yang (Stanford University) – SWE-smith: Scaling Data for Software Engineering Agents
4:40: Atefeh Sohrabizadeh & Jialin Song (Nvidia) – Nemotron-CORTEXA: Enhancing LLM Agents for Software Engineering Tasks via Improved Localization and Solution Diversity
5:00 PM - 6:00 PM
Open Source Search and Reasoning
5:00: Negin Raoof (UC Berkeley) – OpenThoughts: Data Recipes for Reasoning Models
5:20: Tu Vu (Virginia Tech and Google) – SealQA: Raising the Bar for Reasoning in Search-Augmented Language Models
5:40: Salah Alzubi (Sentient) – OpenDeepSearch: Democratizing Search with Open-source Reasoning Models and Reasoning Agents
5:00 PM - 6:00 PM
Open Source Search and Reasoning
5:00: Negin Raoof (UC Berkeley) – OpenThoughts: Data Recipes for Reasoning Models
5:20: Tu Vu (Virginia Tech and Google) – SealQA: Raising the Bar for Reasoning in Search-Augmented Language Models
5:40: Salah Alzubi (Sentient) – OpenDeepSearch: Democratizing Search with Open-source Reasoning Models and Reasoning Agents
6:00 PM - 6:40 PM
Latest Advances in Open-source Al
6:00: Mike Merrill (Stanford University) – Terminal-bench: A Benchmark for AI Agents in Terminal Environments
6:20: Peiyao Sheng (Sentient) – Real AI Agents with Fake Memories: Fatal Context Manipulation Attacks on Web Agents
6:00 PM - 6:40 PM
Latest Advances in Open-source Al
6:00: Mike Merrill (Stanford University) – Terminal-bench: A Benchmark for AI Agents in Terminal Environments
6:20: Peiyao Sheng (Sentient) – Real AI Agents with Fake Memories: Fatal Context Manipulation Attacks on Web Agents