Questions tagged [automated-theorem-proving]
For questions regarding ATP's (Automatic Theorem Provers), which attempt to prove a theorem without any assistance. If you are using a Proof Assistant or an interactive theorem prover and are providing help to the prover, then do not use this tag.
16
questions
24
votes
2
answers
622
views
Successes of machine learning in formal theorem proving
Attempts to apply machine-learning (as opposed to hand-crafted automation) to formal theorem proving are still in their infancy.
Still, there have been some successes. GPT-f found some proofs that ...