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 ...

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, ...

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 ...

# 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 CMU Navlab group builds computer-controlled vehicles for automated and assisted driving. Since 1984, we have built a series of robot cars, vans, SUVs, and buses. More recent researches of Navlab ...