The PACT Center uses cognitive tutor technology to create an integrated classroom and computer lab curriculum that supports students’ understanding of mathematical and real world concepts. Based on a computational model of thought, cognitive tutors can automatically generate the most sensible solutions to any given problem, follow students step-by-step as they work, and provide individualized feedback and advice.

Link to Project
http://pact.cs.cmu.edu/