4 citations · 7 across the 6 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021★ 1 cited
Mining counterexamples for wide-signature algebras with an Isabelle server
Wesley Fussner, Boris Shminke
We propose an approach for searching for counterexamples of statements about algebraic structures with a medium-sized signature using the Isabelle proof assistant in an efficient,…
cs.LG2021★ 1 cited
A Neural Network for Semigroups
Edouard Balzin, Boris Shminke
Tasks like image reconstruction in computer vision, matrix completion in recommender systems and link prediction in graph theory, are well studied in machine learning literature. I…