automated theorem proving
ATP
Automated theorem proving uses algorithms to search for a formal proof of a mathematical or logical statement with limited human guidance.
AI Terminology
Search clear AI terminology definitions, acronyms, related concepts and the reviewed videos that explain them.
Showing 301–320 of 705 terms
Clear filtersautomated vulnerability discovery
AI-assisted vulnerability discoveryAutomated vulnerability discovery uses software analysis and testing to identify potential security weaknesses with reduced manual effort.
autonomous artificial intelligence agent task horizon
autonomous AI agent task horizonAn autonomous AI agent task horizon is the duration or complexity of work an agent can complete reliably without corrective human intervention.
autonomous cybersecurity agent
AI cybersecurity agentAn autonomous cybersecurity agent uses models and security tools to pursue a cyber objective across multiple steps with limited continuous human direction.
autonomous software factory
An autonomous software factory is an engineering system in which AI agents perform connected development work under shared controls and human governance.
backtesting
Backtesting applies a strategy to historical data to estimate how it would have behaved under past market conditions.
base model
A base model is the starting version of an AI model before it is adapted, fine-tuned or connected to additional tools for a particular use.
basis point
bpbpsA basis point is one hundredth of one percentage point, equal to 0.01 percent.
Bayesian updating
Bayesian updating is the process of revising a probability distribution when new evidence arrives by combining a prior belief with the evidence's likelihood.
benchmark cherry-picking
AI benchmark cherry-picking selectively highlights favorable tests while omitting weaker or contradictory model results.
benchmark shortcut
AI benchmark shortcutAn AI benchmark shortcut is a cue or exploitable pattern that raises a system's score without demonstrating the intended underlying capability.
bimanual robot
A bimanual robot is a robot with two coordinated arms that can manipulate an object or environment using both effectors.
biotechnology
AI biotechnology applies AI to biological research, design, measurement and the development of biotechnology products.
block-sparse attention
Block-sparse attention divides a token sequence into blocks and computes attention for only selected blocks, making long-context processing more efficient than dense full attention.
bot detection
Bot detection identifies traffic or interaction patterns that appear to come from automated software rather than an ordinary human user.
business analytics
AI business analyticsAI-powered analyticsAI business analytics uses AI to interpret organizational data, derive metrics and produce repeatable decision-support reports.
business process automation
BPABusiness process automation uses software to execute repeatable operational steps with less manual handling.
capability-to-cost ratio
AI capability-cost curveAI capability-to-cost ratioAn AI capability-to-cost ratio compares the useful performance a model provides with the expense required to obtain it.
causal event chain
A causal event chain records which earlier event or action caused each later event in a workflow.
circuit breaker
A circuit breaker is a reliability control that temporarily blocks calls to a failing dependency after errors cross a defined threshold.
Knowledge graph
Explore AI concepts
Follow general terms into specialised sub-terms. Select any node to open its definition.