Builds AI systems that can reason, in order to enable AI agents that can accomplish larger goals and safely work in the real world.