• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Qualification of Proof Assistants, Checkers, and Generators: Where Are We and What Next?

Mario GleirscherRobert SachtlebenJan Peleska
Published in: CoRR (2023)
Keyphrases
  • theorem prover
  • theorem proving
  • game playing
  • intelligent agents
  • neural network
  • machine learning
  • database
  • decision making
  • three dimensional
  • proof theory
  • mathematical proofs