Bayesian Ranking for Strategy Scheduling in Automated Theorem Provers
Authors: Chaitanya Mangla, Sean Holden and Paulson Larry
Paper Information
| Title: | Bayesian Ranking for Strategy Scheduling in Automated Theorem Provers |
| Authors: | Chaitanya Mangla, Sean Holden and Paulson Larry |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | Bayesian Machine Learning, Strategy Scheduling, Automated Theorem Proving |
| Pages: | 19 |
| Talk: | Aug 09 14:00 (Session 104D: Proof Search and Generalizations) |
| Paper: |  |