Products

GGUF is a binary file format introduced in 2023 by the llama.cpp project that packs model tensors and metadata into a single file, and is widely used for distributing quantized language models for local inference.

Large language modelsOpen sourceDeveloper tools

ONNX is an open format for representing machine learning models, announced by Microsoft and Facebook in September 2017 so that developers can move models between frameworks instead of converting them between incompatible formats.

Open sourceDeep learningDeveloper tools

SHRDLU was an early natural-language program built by Terry Winograd at MIT in 1968–1970 that conversed in English about a small blocks world, executing commands, answering questions and learning names — a landmark demo whose success fed an optimism later systems could not sustain.

Research historyProduct historySymbolic AI

A checkers program built by Arthur Samuel at IBM, begun in 1949 and published in 1959, that learned by memorising positions, playing itself and scoring board positions, and played at a respectable amateur level.

Research historyProduct historySymbolic AI

AutoNav is the autonomous driving software used by NASA's Spirit and Opportunity Mars rovers. It combines stereo vision, GESTALT terrain assessment, Visual Odometry, and Field D* path planning to let rovers choose and drive safe paths without step-by-step direction from Earth.

Research historyRoboticsComputer vision

Soccer Server is a software simulator of soccer, begun by Itsuki Noda as a platform for multi-agent systems research, which later became the official soccer server of RoboCup.

Research historyOpen sourceRobotics

NVIDIA's robotics development platform for simulation, training, perception, and deployment.

RoboticsDeveloper toolsSimulation