
Automatic theorem provers benefit from diverse proving strategies in schedules for optimal performance.


coremsg

spider-style-strategy-discovery-and-schedule-construction-in-vampire-prover


Spider-Style Strategy Discovery and Schedule Construction in Vampire Prover


title_rewrite


Automatic theorem provers rely on diverse proving strategies to achieve optimal performance, with the greedy schedule construction algorithm showing promising results.


regularization-in-spider-style-strategy-discovery-and-schedule-construction


Regularization in Spider-Style Strategy Discovery and Schedule Construction
