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


coremsg

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


Regularization in Spider-Style Strategy Discovery and Schedule Construction


title_rewrite


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


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


Spider-Style Strategy Discovery and Schedule Construction in Vampire Prover
