Psi, a simulated patient for cognitive behavioral therapy training that uses large language models to help bridge the gap between classroom learning and real-world experience.

We introduce the heat method for solving the single- or multiple-source shortest path problem on both flat and curved domains. A key insight is that distance computation can be split into two stages: ...

15-210 aims to teach methods for designing, analyzing, and programming sequential and parallel algorithms and data structures. The emphasis is on teaching fundamental concepts applicable across a wide ...

The authors thank Saul Schleimer and Henry Segerman for helpful discussions about topological examples, and Nick Stadie for perspective on molecular symmetries. This work was supported by a Packard ...

New instruments for imaging human brain activity, such as fMRI, offer a wonderful opportunity to study mechanisms in the brain. Our group develops statistical machine learning algorithms to analyze ...

This course provides a thorough, hands-on introduction to automated theorem proving. It consists of a traditional lecture component and a joint project in which we will construct a theorem prover. The ...

Lecturer: Jason Li, GHC 7203, jmli at cs.cmu.edu TAs: Emin Berker, GHC 6207, rberker at cs.cmu.edu Office hours: Emin Wednesdays 2-3, Jason Fridays 1-2 Location: GHC 4303, MWF 3:30-4:50 3:30-4:50 ...

# Quotes enclose characters to tell Python "this is a string!" # single-quoted or double-quoted strings are the most common print('single-quotes') print("double ...

The TEEL Lab at Carnegie Mellon University focuses on research in learning methods, technology for learning systems, curriculum development, and workforce training The TEEL Lab has several positions ...

This course is an introduction to fundamental computing principles and programming techniques for creative cultural practitioners, with special consideration to applications in the visual arts, music, ...

Individual lecture notes handed out in class are listed on the course schedule page. Here are the complete set and some additional supporting papers. To avoid copyright issues, these are posted for ...