formal specification
A formal specification is a precise mathematical description of a system's required behavior, inputs, outputs and constraints.
AI Terminology
Search clear AI terminology definitions, acronyms, related concepts and the reviewed videos that explain them.
Showing 421–440 of 705 terms
Clear filtersformal verification
Formal verification uses mathematical logic and machine-checked proofs to establish that a system satisfies a precisely stated specification.
forward-deployed artificial intelligence engineering
forward-deployed AIforward-deployed AI engineeringForward-deployed AI engineering embeds technical delivery close to customers so model capabilities become reliable solutions for specific business problems.
foundation model
A foundation model is a broadly trained AI model that can be adapted to perform many downstream tasks instead of serving only one narrow purpose.
frontier artificial intelligence compute
frontier AI computeFrontier AI compute is the high-end computing capacity used to train or operate the most capable AI models available at a given time.
frontier developer
A frontier developer is a software engineer who designs work around coding agents, delegates most implementation and coordinates several automated workstreams while retaining engineering judgment.
game generation
AI game generationAI game generation uses AI models to create game code, scenes, assets, mechanics or combinations of those elements from instructions.
gated residual connection
A gated residual connection uses a learned gate to control how much newly computed information changes the representation carried through a neural-network layer.
Gemini Robotics 2
Gemini Robotics 2 is a generalist robotics model from Google DeepMind designed to combine reasoning, whole-body control and dexterous manipulation across varied physical tasks.
generalist robotics model
A generalist robotics model is trained to support many physical tasks, objects and environments instead of one narrowly programmed behavior.
generative artificial intelligence platform
GenAI platformgenerative AI platformA generative AI platform provides shared infrastructure, models, gateways, evaluation and governance capabilities for teams building generative AI products.
geospatial artificial intelligence
GeoAIGeospatial AI applies AI methods to location-based data such as maps, satellite imagery, terrain, climate records and movement patterns.
Git blob object
A Git blob object stores the content of a file without its file name or directory location.
Git commit object
A Git commit object records a repository snapshot by pointing to a tree, its parent commits and metadata such as author and message.
Git object model
The Git object model stores repository history as content-addressed commits, trees, blobs and annotated tags connected by hashes.
Git packfile
A Git packfile is a compressed container that stores many Git objects together, often using delta compression for efficient transfer and storage.
Git tree object
A Git tree object represents a directory by listing file names, modes and object IDs for blobs or nested trees.
golden dataset
A golden dataset is a curated collection of examples with trusted labels or expected outcomes used as a stable reference for evaluation.
graphics processing unit
GPUA graphics processing unit is a highly parallel processor that performs many similar numerical operations efficiently, making it important for AI workloads.
graphics processing unit cluster
GPU clusterA graphics processing unit cluster is a group of networked computers whose graphics processors work together on large computing workloads.
Knowledge graph
Explore AI concepts
Follow general terms into specialised sub-terms. Select any node to open its definition.