prover

American  

[proov-er] / ˈpruv ər /

noun

• provers
  plural

1. any of various automated devices, programs, or systems used to prove or test the quality or accuracy of something, especially of a meter.

2. 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.

3. 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.

4. a person who proves something, such as a theorem.

---

Other Word Forms

Derived Forms

• multi-prover
  noun

Inflected Forms

Nouns

• provers
  plural

Example Sentences

See Examples For:

prover provers

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

Quoth she, 'The manifest signs and visible portents of Allah; and, when the path is patent to thee, thou espiest with thine own eyes both proof and prover.'

From The Book of the Thousand Nights and a Night — Volume 05 by Sir Richard Francis Burton

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

In most of the provers, however, there was a passing of very offensive gas and offensive stools.

From New, Old, and Forgotten Remedies: Papers by Many Writers by Edward Pollock Anshutz

It has been found by healthy provers that stronger, and larger doses of any preparation of the herb will induce or aggravate one or another of these bleedings.

From Herbal Simples Approved for Modern Uses of Cure by William Thomas Fernie

I must say that the provers did not go into the details as much as was desirable.

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