For office hours of the TAs and Zoom links, please check Piazza.

This is a guide to editing and executing Standard ML (SML) programs at Carnegie Mellon University, using the Standard ML of New Jersey system. This document was written by Peter Lee ([email protected]) ...

I am a postdoctoral fellow at Carnegie Mellon University. I was awarded a PhD from CMU's Machine Learning Department in December 2010. I am interested in machine learning techniques for structured ...

This is Graham Neubig's lab at the Language Technologies Institute of Carnegie Mellon University. We do research on natural language processing and machine learning, specifically machine translation, ...

The exact topics of the lectures are subject to change. We do not anticipate changing any of the other dates (exams, assignments, etc.) To watch the lecture videos, sign in to YouTube using your ...

The handout Automated Theorem Proving contains a complete set of notes as of the indicated date. This includes all incremental handouts with possible corrections and updates. Note that I do not ...

I am a final year Ph.D. student in the Robotics Institute at Carnegie Mellon University, advised by Dr. Maxim Likhachev. My general research interests span Artificial Intelligence (AI), Perception, ...

Define state-value and (true) state value of an MDP Define Q-value and (true) Q value of an MDP The idea of discounting stems from the common idea that a reward now is better than the same reward ...

From smart phones, to multi-core CPUs and GPUs, to the world's largest supercomputers, parallel processing is ubiquitous in modern computing. The goal of this course is to provide a deep understanding ...

The NyquistIDE program combines many helpful functions and interfaces to help you get the most out of Nyquist. NyquistIDE is implemented in Java, and you will need the Java runtime system or ...

Symbolic logic is fundamental to computer science, providing a foundation for the theory of programming languages, the theory of databases, AI, knowledge representation, automated reasoning, and ...