Guiding an Automated Theorem Prover with Neural Rewriting
Authors: Jelle Piepenbrock, Tom Heskes, Mikolas Janota and Josef Urban
Paper Information
| Title: | Guiding an Automated Theorem Prover with Neural Rewriting |
| Authors: | Jelle Piepenbrock, Tom Heskes, Mikolas Janota and Josef Urban |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | automated reasoning, automated theorem proving, machine learning |
| Pages: | 20 |
| Talk: | Aug 10 15:00 (Session 115C: Invited Talk and Optimized Reasoning) |
| Paper: |  |