prover
Americannoun
-
provers
plural
-
any of various automated devices, programs, or systems used to prove or test the quality or accuracy of something, especially of a meter.
-
Computers. often theorem prover, also called proof assistant. a program that proves or assists in proving mathematical theorems by applying rule-based logic to a set of axioms and established theorems. Provers are used to test the security of encryption algorithms.
-
Computers. the more powerful of two AI models (the other being the verifier) in a game designed to train AI models to justify their answers. In the game, the prover's objective is to make the verifier believe a particular answer to a question, while the verifier's is to choose the correct answer regardless of what the prover says.
-
a person who proves something, such as a theorem.
Other Word Forms
Derived Forms
Inflected Forms
Nouns
Example Sentences
Examples are provided to illustrate real-world usage of words in context. Any opinions expressed do not reflect the views of Dictionary.com.
See Examples For:
One math gadget is called a proof assistant, or interactive theorem prover.
From New York Times ● Jul. 2, 2023
It’s not at all obvious how to go about thinking up some new twist on these things—the transformation from test-taker to theorem poser and then theorem prover is difficult to articulate.
From The New Yorker ● Nov. 7, 2019
“The fingerprints and photos we have prover otherwise,” Abdullah said.
From Fox News ● Oct. 3, 2019
This is exemplified by the model of blind quantum computation37, which requires the verifier to be able to create single-qubit states and send them to the prover.
From Nature ● Sep. 12, 2017
A twofold mask has the prover of shields.
From Grettir the Strong, Icelandic Saga by Unknown
The painter known to many as Lucian Freud’s one-time muse writes of her own muse, her mother, and provers herself a masterful writer as well.
From Los Angeles Times ● Dec. 30, 2020
When experienced by two provers, and not often repeated, the symptom is recorded in common type.
From New, Old, and Forgotten Remedies: Papers by Many Writers by Edward Pollock Anshutz
Your chairman, T. L. Hazard, in his usual characteristic manner, went vigorously to work and secured all the provers possible.
From New, Old, and Forgotten Remedies: Papers by Many Writers by Edward Pollock Anshutz
A collection of symptoms from twenty-five different provers, anatomically arranged: MIND.
From New, Old, and Forgotten Remedies: Papers by Many Writers by Edward Pollock Anshutz
The provers were hurried out of bed in the morning to stool.
From New, Old, and Forgotten Remedies: Papers by Many Writers by Edward Pollock Anshutz
Random Word
Spin the wheel and learn a new word!
Get a wordDefinitions and idiom definitions from Dictionary.com Unabridged, based on the Random House Unabridged Dictionary, © Random House, Inc. 2023
Idioms from The American Heritage® Idioms Dictionary copyright © 2002, 2001, 1995 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company.
