ORIE 6215

AI for Computational Research

Course Description

Course information provided by the 2026-2027 Catalog.

AI progress has, and will continue to, revolutionize scientific research. On tasks ranging from (some) theorem proving to coding experiments, they are superhuman. However, for much computational research, human researchers must remain in the loop to evaluate, guide, and steer AI, and we must understand its outputs in order to synthesize and effectively communicate with others. In this course, we will work together to develop skills for how to manage AI to help produce high-quality, trustworthy research. Specific modules – depending on individual student interest – will include verifying empirical analyses, theorem proving and autoformalization of math in Lean, coding architecture, qualitative research coding, and paper reviewing. A class project may include building tools and agent scaffolding to help others use AI in the research process. A core theme of the class will be how to develop and retain individual skills while using AI to complement one’s work, along with discussions of the values inherent in the scientific enterprise.

Last 4 Terms Offered (None)

Learning Outcomes

• Demonstrate ability to effectively use AI agents in research.
• Identify tasks for which AI is appropriate and not appropriate.
• Demonstrate ability to evaluate outputs and errors.

View Enrollment Information