22 citations · 55 across the 10 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.LO2018★ 2 cited
Maltsev conditions for general congruence meet-semidistributive algebras
Miroslav Olšák
Meet semidistributive varieties are in a sense the last of the most important classes in universal algebra for which it is unknown whether it can be characterized by a strong Malts…
cs.AI2018★ 15 cited
Reinforcement Learning of Theorem Proving
Cezary Kaliszyk, Josef Urban, Henryk Michalewski +1
We introduce a theorem proving algorithm that uses practically no domain heuristics for guiding its connection-style proof search. Instead, it runs many Monte-Carlo simulations gui…