Login / Signup

Learning to Guide a Saturation-Based Theorem Prover.

Ibrahim AbdelazizMaxwell CrouseBassem MakniVernon AustelCristina CornelioShajith IkbalPavan KapanipathiNdivhuwo MakondoKavitha SrinivasMichael WitbrockAchille Fokoue
Published in: IEEE Trans. Pattern Anal. Mach. Intell. (2023)
Keyphrases
  • theorem prover
  • learning process
  • supervised learning
  • online learning
  • first order logic
  • theorem proving
  • expert systems
  • training set
  • learning systems
  • boolean algebra