MLD Ph.D. student Aakash Lahoti has been named a 2025-2026 Jump Trading Fellow for his work on building efficient, effective sequence-to-sequence models that can handle very long inputs.

This data set contains WWW-pages collected from computer science departments of various universities in January 1997 by the World Wide Knowledge Base (Web->Kb) project of the CMU text learning group.

This page works through an example of fitting a logistic model with the iteratively-reweighted least squares (IRLS) algorithm. If you'd like to examine the algorithm in more detail, here is Matlab ...

Frank Pfenning Personal Home PageSubstructural Type Systems Tutorial at POPL 2025 (introductory AI-generated podcast) (live code) Adjoint Natural Deduction (Extended Version) Junyoung Jang, Sophia ...

@article{Sawhney:2020:MCG, author = {Sawhney, Rohan and Crane, Keenan}, title = {Monte Carlo Geometry Processing: A Grid-Free Approach to PDE-Based Methods on ...

Javascript is required for the SCS calendar.

This course provides a comprehensive introduction to computer vision. Major topics include image processing, detection and recognition, geometry-based and physics-based vision and video analysis.

Because of the many requests for this material, we are pleased to make available an online version of some of our printed lecture notes on ``An Introduction to ...

Designing Deep Networks for Surface Normal Estimation. Conference on Computer Vision and Pattern Recognition (CVPR), 2015. [pdf] [BibTeX] [results for NYU Depth V2] [code and models] [project page] ...

Learning Goal: This document will guide you through setting up your hardware (if you're using an Amazon Fire tablet), Cozmo robot, and software (Calypso). At the end are instructions for how to update ...

I am currently working at Snowflake as a Postdoctoral Research Fellow. I will join Tsinghua IIIS as an Assistant Professor in Spring 2021. I received my Ph.D. degree from the Computer Science ...

15-451/651 is an advanced undergraduate/masters algorithms class. We cover fundamental algorithmic modeling techniques (e.g. dynamic programming, graphs, network flows, linear programming), advanced ...