10 citations · 19 across the 6 of their papers we have counts for
1 paper · 1 filter
Matěj Kripner, Michal Šustr, Milan Straka
Automated theorem proving (ATP) has been a classical problem in artificial intelligence since its inception, yet it remains challenging due to its vast state and action space. Larg…