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

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

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

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

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.

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

A Robotics Institute team has developed Neural Motion Planning to help improve how robots react in new environments and perform tasks like removing a book from a shelf cluttered with other items and ...

The language of the totalist environment is characterized by the thought-terminating cliche. The most far-reaching and complex of human problems are compressed into brief, highly reductive, definitive ...

SCS researchers worked with a team from Meta AI to leverage large language models and teach robots and AI agents how to operate in response to vague directions. People can be relatively vague when ...

I have enjoyed reading (and writing), collecting, and pondering the following quotations, which I think are all relevant to teaching and learning programming. If you know any others that you think I ...