31 citations · 111 across the 11 of their papers we have counts for
1 paper · 1 filter
Josef Urban, Jiri Vyskocil
In the recent years, we have linked a large corpus of formal mathematics with automated theorem proving (ATP) tools, and started to develop combined AI/ATP systems working in this…