Questions tagged [automated-theorem-proving]

For questions related to the automation of mathematical theorem proving, including rules systems, the acquisition of predicate logic and inference by deep networks, combinations of these, or novel new designs and supporting algorithms.

2 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
4 votes
0 answers
51 views

How feasible is it to automate Theorem Proving via Reinforcement Learning?

Theorem proving is basically a turn-based game with perfect information: you start from a given gamestate (a proposition) and make moves that lead to other valid gamestates. A piece of software can ...
Blue Nebula's user avatar
0 votes
0 answers
21 views

How is pass@k metric defined for automated theorem provers if we have a verifier?

The pass@k metric was proposed to measure the percentage of successful code samples (https://arxiv.org/abs/2107.03374), but it has also been used in automated theorem proving such as https://arxiv.org/...
user131379's user avatar