Login / Signup

Magnushammer: A Transformer-based Approach to Premise Selection.

Maciej MikulaSzymon AntoniakSzymon TworkowskiAlbert Qiaochu JiangJin Peng ZhouChristian SzegedyLukasz KucinskiPiotr MilosYuhuai Wu
Published in: CoRR (2023)
Keyphrases
  • fuzzy logic
  • selection strategy
  • genetic algorithm
  • selection criteria
  • database
  • data sets
  • high level
  • computer science
  • selection mechanism