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

In the prover it produced a general malaise, headache, weakness of limbs and inability to attend to business, a feeling as though he must give up and be sick.

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

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

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

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

No. 1 of the provers was a married lady; No. 2 and No. 3 were lads.

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

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