"A proof-checker implemented using Framekit: an initial step towards an intelligent learner of elementary mathematics", January 23, 1987

The materials in this collection relate to Manuela Veloso's research in artificial intelligence, machine learning, and computer science. Included here are records from Veloso's graduate student work, teaching career, her own research, and a general look at CMU projects occurring at the same time as her research. The collection also contains various robotics artifacts such as soccer robots from different years and the first Cobot. There is video documentation of robotics projects, particularly the soccer robots, as well as other Carnegie Mellon projects as collected by Veloso. The collection also includes materials from different RoboCup Federation competitions, as well as logistical information for CMU teams at these events.