prover
Americannoun
-
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
Just such a totality of symptoms has been recorded by provers after taking the fungus for some length of time in toxical quantities.
From Herbal Simples Approved for Modern Uses of Cure by Fernie, William Thomas
In these provers there soon followed a sense of fear, with pain about the heart, and accelerated pulse.
From New, Old, and Forgotten Remedies: Papers by Many Writers by Anshutz, Edward Pollock
At the time of the proving, the potency and the drug were unknown to the provers.
From New, Old, and Forgotten Remedies: Papers by Many Writers by Anshutz, Edward Pollock
Only a very few symptoms were produced by the use of the 30x attenuation, a greater number of provers not recording any at all.
From New, Old, and Forgotten Remedies: Papers by Many Writers by Anshutz, Edward Pollock
Definitions 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.
