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

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

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

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

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

the Great Wall of China, an excellent example of robust architecture from the 7th Century B.C.