Date: | 2020, January 28 |
Time: | 11:00 |
Author: | Glauer, Martin |
Title: | Recent Developments in Automated Theorem Proving |
Many real-world problems yield large logic theories when formalised. Those are still a hard problem for automated theorem provers. In order to ease the load on the automated reasoners, methods have been developed that select those premises that may be used to prove a certain goal.
This talk will give a short summary of recent developments in premise selection and present a draft for a new approach.