Login / Signup

Proof Repair Infrastructure for Supervised Models: Building a Large Proof Repair Dataset.

Tom ReichelR. Wesley HendersonAndrew TouchetAndrew GardnerTalia Ringer
Published in: ITP (2023)
Keyphrases
  • theorem prover
  • statistical models
  • information systems
  • theorem proving
  • linear logic
  • genetic algorithm
  • active learning
  • model selection
  • benchmark datasets
  • classification models
  • mathematical proofs